現代数学の系譜カントル超限集合論他 3

[過去ﾛｸﾞ] 現代数学の系譜カントル超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

4(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:10 ID:ywyns0bH(4/11) AAS
>>3
つづき

６）代替集合論（よくまとまっている）
外部ﾘﾝｸ[pdf]:www.ivis.co.jp
代替集合論＊（Alternative Set Theories）の調査 2019年 6月 19日（水）古賀明彦わかみず会用資料
（補足）
外部ﾘﾝｸ[html]:www.cs-study.com
省23

5: 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:12 ID:ywyns0bH(5/11) AAS
>>4
つづき

９）一階〜高階、型理論、モデル理論
外部ﾘﾝｸ:ja.wikipedia.org
一階述語論理
外部ﾘﾝｸ:ja.wikipedia.org
二階述語論理
省18