Tractatus Logico-Philosophicus

by Ludwig Wittgenstein

The fact that the propositions of logic are tautologies shows the formal—logical—properties of language, of the world.