0191132人目の素数さん垢版 | 大砲2018/07/05(木) 21:05:24.05ID:ORNJdjzU >>182 そのやり方では、公理系のモデルを構成する側の体系の無矛盾性に問題を移し替えただけ