神は見えない。 毎日の言葉に化したから。

宝塚から新三田まで40キロ走ってきた。余裕があったので篠山までは行けたかも。

自然数に0を含めるのかどうかを調べていくと奥が深い。公理に関与するフォンノイマンの構成で空集合と0を対応させるかどうかなど。