0403132人目の素数さん垢版 | 大砲2018/06/27(水) 17:13:02.93ID:zJp65dVN >>399 任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。