今日の目標 自然数上に通常の全順序・狭義全順序を（加法を使って）構成する。 自然数上の加法 以前にペアノの公理から 自然数上の加法を構成しました ペアノの公理から「足し算」を作る｜自然数上の加法の構成 定理 写像 $+: … 続きを読む 自然数上に通常の全順序・狭義全順序を構成する