Una propuesta llegó a los métodos de deducción lógica de un conjunto de postulados básicos o axiomas aceptaron como primitivo y por lo tanto no se someta a prueba deductiva. Que un teorema es parte de un sistema puramente formal, no es significativo para hablar sobre la "verdad" de un teorema sino sólo de su "rectitud". Llega a ser verdad cuando él o sus consecuencias, se pueden demostrar que de acuerdo con hechos observables. El clásico ejemplo de un sistema de teoremas es ofrecida por el sistema de Euclides de la geometría, que ahora es reconocida para tener sólo un carácter puramente formal, aunque anteriormente era considerado a ser significativo para preguntar si la geometría de Euclides era "verdadero".