El trabajo de Post era el delimitar una frontera entre los procedimientos formales y el entendimiento para desarrollar las matemáticas.