標準的でない公理で数学してるんでしょ(適当)