Inter-universal geometry と ABC予想 (応援スレ) 45

Inter-universal geometry と ABC予想 (応援スレ) 45at MATH

Inter-universal geometry と ABC予想 (応援スレ) 45 - 暇つぶし2ch690:１３２人目の素数さん
20/05/13 17:25:51 YxiDM0Si.net
「圏の圏」を擬圏ではなく圏として実現するのであれば、分出公理図式のように
包括原理（内包公理）に制限を設ける解決策は捨てるしかない

その場合、論理自体を変えるしかない、というのが>>630-633

しかしその結果出て来てしまったのが
・数学的帰納法は矛盾する！
・ω矛盾
というオモシロ�

次ページ

続きを表示

1を表示