Page:Shinshiki Sanjutsu Kogi 00.djvu/93

このページは校正済みです
77
(三)
減法の可能

廣義の數の中, に先てるものを盡く除却して,唯

のみを保存するときは,此等の數相互の間,大小の關係は,全く狹義の順序數

に於けると同一にして,兩者を區別すべき所以の者全く有ることなし.廣義の數は其一部として順序數を包括せり.

前節に於て定められたる算法を のみに適用するときは,是れ卽ち順序數の加法に外ならず.げにも順序數の加法は III の條件に適合せること明白なり,さて III は一定の算法を定むるものなるが故に,前節の算法は加法と異なることを得ず.前節に於て證明せる諸定理が順序數の加法に關せる諸定理と趣を同くせること,怪むに足らざるなり.

是故に前節の算法を廣義の數の加法と名づけ,常用の記法に從ひて を表すに を以てすべし.