0044132人目の素数さん垢版 | 大砲2019/03/03(日) 14:28:41.68ID:bkWu56WC >>37 >ただZFCが矛盾してるとすると、0 > 全ての巨大数が証明可能なので、 定義にZFCを含む巨大数がそうなることが自明になるだけじゃないの