Une proposition est arrivé à par les méthodes de déduction logique d'un ensemble de postulats ou axiomes admis comme primitive et donc pas soumis à la preuve déductive. Tant qu'un théorème fait partie d'un système purement formel, il n'est pas utile de parler de la « vérité » d'un théorème, mais seulement de sa « décision correcte ». Il devient vrai lorsqu'il, ou ses conséquences, peuvent être démontrés qu'être en accord avec les faits observables. Le classique exemple de système de théorèmes est offerte par le système d'Euclide de la géométrie, qui est maintenant reconnue d'avoir uniquement un caractère purement formel, même s'il était autrefois considéré pour être utile de se demander si la géométrie d'Euclide était « vraie ».