Inter-universal geometry と ABC予想 52

[0585 １３２人目の素数さん 2020/05/09(土) 17:11:15.36 ID:j9hCxaDC]

>>583
ところで、置換公理があれば、分出公理は要らないってのは知ってる？