数理論理学(数学基礎論) その11at MATH数理論理学(数学基礎論) その11 - 暇つぶし2ch462:132人目の素数さん 13/11/05 22:59:17.54 >>460 以前もどこかに書いたが、定義が整合性を持つことを示すのに大理論が必要になる概念もある。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch