数理論理学(数学基礎論) その13at MATH
数理論理学(数学基礎論) その13 - 暇つぶし2ch811:132人目の素数さん
19/02/11 16:25:52.16 duiNLZG1.net
>>ID:YSRNi+IZ
で、結局「無矛盾律に排中律いらんしょ?」っていお前のレスに戻ってくるけど、
これはお前が無矛盾律からシーケントをスタートさせてるだけの話やろ
>>755で言ってるZFCでの議論において一々形式的体系をシーケントで考えて無矛盾律を使う所からスタートするかどうかはどうでもいいこと

あぁ~他人の何の説明も無いクソな計算メモを見せられて一々どういう思考過程なのかなんでこっちが補ってあげなきゃいけないんだよ
死ねよ
マジでイライラする


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch