自然数 | 蛍雪に染まる。

順序数の基本的な性質の証明（その１）

2020/06/17セミナー

ペアノの公理の一意性

2020/04/17セミナー

自然数上に通常の全順序・狭義全順序を構成する

2020/04/15セミナー

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

2020/04/08セミナー

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

2020/04/03セミナー

PAGE TOP