SnO2WMaN.net

AboutMe Projects

OtoMADB Lean4 Modal Logic

2023 - SnO₂WMaN

梯子を登りきった者は梯子を投げ棄てなければならない。

Ludwig Wittgenstein; 『論理哲学論考』(訳:野矢茂樹)