Die Sprache im Tractatus Logico-Philosophicus versucht, totale Geschlossenheit, Vollständigkeit und Widerspruchsfreiheit zu erreichen. Dummerweise hat bereits Gödel gezeigt, daß das gar nicht möglich ist, denn auch wenn Wittgenstein die Sprache so streng definiert, daß sie mehr an Mathematik als an eine natürliche Sprache erinnert, so wäre sie selbst dann notwendigerweise unvollständig, wenn sie tatsächlich mathematische Strenge erreichte, und ebenso voller versteckter Widersprüche.