数理論理学（数学基礎論）　その14

51 ：１３２人目の素数さん：2019/09/12(木) 18:41:57.39 ID:/GDlAK12.net

>>47-48
解析接続を一般化した概念の「層」を使った強制法という手法で連続体仮説が解決されてる。