2023年7月27日

濃度の章のまとめを引き続き進める。集合論の公理をやっていないので濃度の定義が不明確だったり (全単射による同値類と見ているが、そもそも「集合全体の集合」が扱えない)、自然数や実数の定義もしていないので加算濃度・連続濃度あたりの議論もやや気持ち悪い。現時点で深入りするのも微妙なので、ひとまずは割り切って進めているが。