0328132人目の素数さん垢版 | 大砲2014/05/19(月) 21:44:07.11 >>327 > 禁止的公理だ。 「禁止的公理」ってなんだよ。任意の公理は(お前の言う)禁止的にも非禁止的にも表現できるぞ。 > 正則性公理を除いた公理系が無矛盾であることはほぼ自明である 数学を学ばないやつってある意味無敵、の一例だな。