>『なぜ、ZFC公理まで遡らなくても数学が出来るの?』
 置換公理を使わなくても、分出公理で十分だから
 (完)