89 - チン・シャオミン 同志 2016/05/18(水) 00:14:29 ID:QaF3C67g
み～ん自然数Mは次のように定義、構成される
ハセカラはみ～ん自然数である
またみ～ん後者関数を次のように定義する： xがみ～ん自然数であるときx民はxの後者でありみ～ん自然数である
ハセカラはどのみ～ん自然数の後者でもない
異なるみ～ん自然数は異なる後者を持つ
ハセカラがある性質を満たし、ハセカラでないみ～ん自然数xがその性質を満たせば、すべてのみ～ん自然数はその性質を満たす
前者関数は後者関数の逆関数である
み～ん自然数xとyについて加算と乗算が定義される
加算は次のように定義される： x+ハセカラ＝x、x+(y民)＝(x+y)民
乗算は次のように定義される： x×ハセカラ＝ハセカラ、x×(y民)＝x＋(x×y)