Inter-universal geometry とABC 予想55

[0452 １３２人目の素数さん 2024/05/02(木) 17:34:52.59 ID:MGx3IZdS]

>>451
いや、基礎の公理では、そもそも∈の無限降下列を認めてない
整礎性(well-founded)の意味、理解してる？