Inter-universal geometry と ABC予想 (応援スレ) 45at MATH
Inter-universal geometry と ABC予想 (応援スレ) 45
- 暇つぶし2ch690:132人目の素数さん
20/05/13 17:25:51 YxiDM0Si.net
「圏の圏」を擬圏ではなく圏として実現するのであれば、分出公理図式のように
包括原理(内包公理)に制限を設ける解決策は捨てるしかない
その場合、論理自体を変えるしかない、というのが>>630-633
しかしその結果出て来てしまったのが
・数学的帰納法は矛盾する!
・ω矛盾
というオモシロ�
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch