Template:Individual-TLP-paragraph-en-5.524
5.524 If the objects are given, therewith are all objects also given.
If the elementary propositions are given, then therewith all elementary propositions are also given.
5.524 If the objects are given, therewith are all objects also given.
If the elementary propositions are given, then therewith all elementary propositions are also given.