„Or another example: the proposition "There are objects" resembles in its surface grammar the proposition "There are books": only through the translation "There are names" does the questionable assertion of the existence of objects become clear: "object", in contrast to "book", is a formal concept; one could say: the meaning of "book" is a value of the ontological variable "object", the symbol "book" is a value of the formal-linguistic variable "name"; "book" is typified once ontologically and once formal-linguistically.
Since "fact" and "true proposition" are formal concepts, the world as the "totality of facts" (TLP 1.1) and the "totality of true propositions" (TLP 4.11) – as, incidentally, language as the "totality of propositions" (TLP 4.001) or the "totality of true thoughts" (TLP 3.01) – are *formal totalities* (cf."