数理論理学（数学基礎論） その11at MATH数理論理学（数学基礎論） その11 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト950: a∈bが正しいことは実際に論理式を構成する手順に従って得られることから分かる 問題となるのはa∈∈bが正しくないこと 手順に従い論理式を構成しても4文字の論理式の中にa∈∈bが含まれないことはすぐ分かる ただし、このとき文字の数を数えて4文字以下や4文字以上という条件に注目した 正しいことを列挙するだけならメタレベルで自然数は必要ないかもしれない しかし、何が正しくないのか、言い換えれば理論の範囲を確定させたいとき自然数がどうしても必要になる 951:１３２人目の素数さん 17/10/31 23:18:35.07 0sMM/oG1.net >>912 「それ」の意味が不明 構成を要する主張は最初にあなたがしたはず >>913 「a∈∈b が論理式ではない」という主張が出来ないならしない、という立場ですよ僕は。 実際出来ないかもしれないし。 出来なくてもたとえば集合論の定理を証明していければ支障ないんだろうし。 952:１３２人目の素数さん 17/10/31 23:20:10.39 AWvvD6HU.net >>914 メタを一切排除した形式論理の体系を構成してみせてください 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch