A veces se alega que los teoremas de incompletitud de Gödel socavan el propósito del proyecto.