mathdiaryのブログ

数学についての覚え書きを雑多にしていきます.

点P

2018-06-03から1日間の記事一覧

自然数の定義について

// 自然数についてメモ. $y$ が集合のとき, 対の公理より $\{ y \}$ は集合. よって再び対の公理より $\{ y, \{ y \} \}$ は集合. 和集合の公理より $S(y):=y \cup \{ y \}$ という風に記号を定めれば, $S(y)$ は集合. 無限公理: $\exists x^*(\varnothing …