5.5151 Le signe de la proposition négative doit-il être construit à partir du signe de la proposition positive ? Pourquoi ne devrait-on pas pouvoir exprimer la proposition négative au moyen d'un fait négatif ? (Par exemple : que « a » ne soit pas dans une certaine relation avec « b » pourrait exprimer que aRb n'a pas lieu.)

Mais alors la proposition négative est encore indirectement construite au moyen de la positive.

La proposition positive doit présupposer l'existence de la proposition négative, et vice versa.