0391132人目の素数さん垢版 | 大砲2018/06/26(火) 20:01:58.84ID:Yp3dAEmj >>390 それがヒルベルトが超数学と名付けて夢見たのだけど、ゲーデルによって不可能であることが示された命題。