>>327
集合論を何の批判もなしに用いるのが実無限。述語論理とはそういうもの。