著者

大出 晁

出版者

三田哲學會

雑誌

哲學 (ISSN:05632099)

巻号頁・発行日

no.46, pp.83-108, 1965-02

---

I. パラドックス Cantorの定理 順序数の定理II. Quineの体系III. NFにおける自然数と数学的帰納法IV. NFにおけるCantorの定理V. NFと選択公理VI. MLの利点 1. 数学的帰納法 2. 自然数の集合N 3. Cantor, Burali-Fortiのパラドックス 4. MLと選択公理VII. NFとMLとの関係 : 相対的無矛盾性VIII. MLとNFにおける個体の問題橋本孝先生古希記念論文集