超限帰納法
↑ J. Schlöder, Ordinal Arithmetic. Accessed 2022-03-24.
↑ ここで、 P ( 0 ) {\displaystyle P(0)} が真である場合を分けて説明する必要はない。0 より小さい β {\displaystyle \beta } は存在しないので、 β < 0 {\displaystyle \beta <0} に対してはvacuously trueであり、 P ( β ) {\displaystyle P(\beta )} は真と考える。
↑ クラス関数はルール(具体的には、論理式)であって、左手のクラスの各要素を右手のクラスの要素に割り当てるものである。ここでの例は定義域と終域が集合でなく、オブジェクトとして扱える関数には該当しない。
↑ 実際、関係の定義域は集合である必要はなく、前段落で取り上げたように関係が集合状になっていればよい。