​ 
⌊⌊ (∃1x) φx. (∃1x) ψx. Ind . ⊃ . (∃1 + 1x) φx ⌵ ψx.
(∃1 + 1x) ״ (∃1x) … (∃(1 + 1) + 1x) …


     (1 + 1) + 1 = 1 + 1 + 1 ⌋⌋





 

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.



To cite this element you can use the following URL:


BOXVIEW: http://wittgensteinsource.com/BTE/Ts-208,19v[2]_d

RDF: http://wittgensteinsource.com/BTE/Ts-208,19v[2]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-208,19v[2]_d/json