Tractatus

6.1264

La proposition pourvue de sens dit quelque chose, et sa démonstration montre qu’il en est comme elle le dit ; en logique, chaque proposition est la forme d’une démonstration.