0637132人目の素数さん垢版 | 大砲2016/09/18(日) 00:57:51.32ID:u4AGAnJJ 正則性公理とかラッセルのパラドクスを排除してるようにしか見えないもんな 実際は内包性公理を大幅に制限することで矛盾となる演繹をできないようにしたんだけど