#ZFC | Mathlog

ZFC

人気の記事

大学数学基礎議論

めいぜんおーえす

2020年12月19日

ZFCの公理一覧と誤解しやすいポイント

14

0

8975

3

文献あり

大学数学基礎解説

あっとまーく

10月29日

公理的集合論はやらなくてもよい

集合論,数学基礎論,ZFC

7

0

3100

1

初心者マーク

初心者

エンタメ解説

2024年3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

3

0

149

0

初心者マーク

初心者

文献あり

4

4

エンタメ議論

2024年1月27日

ZFCで遊ぼう！（１）

自然演繹,自然数,ZFC

2

0

197

1

初心者マーク

初心者

文献あり

新着の記事

大学数学基礎解説

あっとまーく

10月29日

公理的集合論はやらなくてもよい

集合論,数学基礎論,ZFC

7

0

3100

1

初心者マーク

初心者

エンタメ解説

2024年3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

3

0

149

0

初心者マーク

初心者

文献あり

エンタメ議論

2024年1月27日

ZFCで遊ぼう！（１）

自然演繹,自然数,ZFC

2

0

197

1

初心者マーク

初心者

文献あり

大学数学基礎議論

めいぜんおーえす

2020年12月19日

ZFCの公理一覧と誤解しやすいポイント

14

0

8975

3

文献あり