ペアノの公理 | 蛍雪に染まる。

ペアノの公理の一意性

2020/04/17セミナー

写像の再帰的定義がなぜ許されるのか｜漸化式を満たす写像の存在と一意性

2020/04/16セミナー

ペアノの公理から「足し算」を作る｜自然数上の加法の構成

2020/04/08セミナー

集合を使って「自然数」を作る｜ペアノの公理を満たすシステムの構成

2020/04/03セミナー

PAGE TOP