6.123 Il est clair que les lois logiques ne doivent pas elles-mêmes se soumettre derechef à des lois logiques.

(Il n'y a pas, comme le voulait Russell, pour chaque « type » une loi de contradiction particulière, mais une seule suffit, parce qu'elle ne s'applique pas à elle-même.)