La forme générale de la fonction de vérité est: [, , N()].

Celle-ci est la forme générale de la proposition.

6.001 - 6.002        6.01 - 6.03

6.1 (3)    Les propositions de la logique sont des tautologies.

6.2 (4)    La mathématique est une méthode logique.

Les propositions de la mathématique sont des équations, donc des pseudo-propositions.

6.3 (7)    L'exploration de la logique signifie l'exploration de toute conformité à une loi. Et hors de la logique, tout est accident.

6.4 (5)    Toutes les propositions sont d'égale valeur.

6.5 (4)    D'une réponse qu’on ne peut formuler, on ne peut non plus formuler la question.

Il n’y a pas d'énigme.

Si une question peut de quelque manière être posée, elle peut aussi recevoir une réponse.