『論理哲学論考』

定理 3.1 (健全性 (soundness)) 証明可能な論理式はすべてトートロジーである

荒らし君は、証明、証明、と連呼しているようだが、前期のウィトゲンシュタインによればこうなわけだ。
そして、このことは、ヘーゲルが『大論理学』でとうに言っていたことである。これについては、柄谷スレに研究論文をコピペした。
こういうことに関し、ラッセルらと交友のあったロシアの貴族の奥方が「もっとヘーゲルを読みなさい」とやんわり諭したというのは、有名な話。
ウィトゲンシュタインは、哲学史の知識があまりなかったので、
このことに自分が史上初めて気づいたかのように思っていただけのことだったのである。
ハイデガーのような人ならば、絶対そういう勘違いはしなかっただろう。