0128132人目の素数さん垢版 | 大砲2014/03/08(土) 17:49:04.92 >>117 >ルカシーヴィッツの公理系も同等の性質を持つ公理系らしい 違うと思う 117の公理系では重複する前提を1つにまとめられないと思う