冪乗
- 2022年5月1日
再帰性定理
- 対象
- 大学2.0年
- 前提知識
- 集合の基礎
- 写像
- 集合族の共通部分
回合成の定式化
再帰性定理とは,集合 とその元 ,写像 に対し, を で 回写したものを とする写像 の存在およびその一意性を保証するものです.つまり,写像の「 回合成」を定式化したものです.例えば, を として定義するのは厳密ではありません.「 個の を掛け合わせたもの」をうまく論理式で表すことができないからです.そこで,再帰性定理を用い, をかける写像 を 回合成することによって を定義するわけです.