0229132人目の素数さん垢版 | 大砲2014/04/10(木) 20:27:58.02 不用意だった。あなたの言うとおりだ。 ただ、置換公理->分出公理であることは、直感的にもわかりやすいよね。 一方、分出公理!->置換公理であることはオレにはすぐにはわからないのだが