0485132人目の素数さん垢版 | 大砲2018/02/23(金) 23:44:06.89ID:2n0NIqfd >>483 公理とはA→Aのことですか? >>484 >>461 >仮定を結論の前提に組み入れることを表してる これはなんですか?