Inter-universal geometry と ABC予想 42

[0672 １３２人目の素数さん 2019/12/05(木) 04:52:36.39 ID:Sq0GxO3O]

正則性の公理じゃないの？
ラッセルのパラドックを回避するためにフォン・ノイマンが導入した公理。
ZF公理系の一つ。