Mathematical propositions express no thoughts.
6.211 In life it is never a mathematical proposition which we need, but we use mathematical propositions
only in order to infer from propositions
which do not belong to mathematics to others which equally do not belong to mathematics.
(In philosophy the question "Why do we really use that word, that proposition?" constantly leads to valuable results.)
