Inter-universal geometry とABC 予想55

[過去ﾛｸﾞ] Inter-universal geometry とABC 予想55 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

452(1): 2024/05/02(木)17:34 ID:MGx3IZdS(15/19) AAS
>>451
いや、基礎の公理では、そもそも∈の無限降下列を認めてない
整礎性(well-founded)の意味、理解してる？

454(1): 2024/05/02(木)17:40 ID:jW8o+ozA(4/10) AAS
>>452
シミュレートだからセーフって理屈なんじゃないの？
それは星にでも聞いてくれって話だな。acからじゃないと答えてくれないだろうが