集合論 | 実用的な数学を

整礎関係 Well-founded

|| 下地・基盤・基礎がしっかりしてる

「正の整数」での「 $0$ 」みたいなものがある感じ。

|| 冪集合を思い出して

この定理は ↓ であることを主張しています。

$\begin{array}{llllll} \displaystyle \mathrm{Card}(S)&<&\mathrm{Card}(2^S) \end{array}$

|| でかさ・中身の個数を表す数

「でかさ」を表す「数」のこと。

|| 同じっていう感覚の厳密な意味

「同じ」の形式的な表現。

|| 何かと何かの結びつき

基本的な知識は『集合論』のページに載っています。