6.1263 Il serait certes par trop remarquable qu'on puisse démontrer logiquement, à partir d'autres propositions, une proposition pourvue de sens, et aussi une proposition logique. Il est clair d'emblée que la démonstration logique d'une proposition pourvue de sens et la démonstration en logique doivent être deux choses totalement différentes.