每个人都是记载生活之人
原作者：佩勒
对于任意序数a，总有a+1>a
定义sup{}表示集合中上确界
如sup{1,2,3,4,5,6}=7
定义ω=sup N其中N为全体自然数的集合
定义基本列a[]：若sup X=a，则a[]=X
如ω[]=N
定义并集∪：两个集合中不重叠的元素的集合
如整数∪分数=有理数，有理数∪无理数=实数
定义属于∈：一个元素属于某集合X表示为元素∈X
如1∈N，1.14514∈有理数，π∈实数
定义后继函数a'=a[]∪{a}
定义极限序数a∈lim为a[]不存在最后一项
如ω∈lim因为ω[]=N
定义{a|b}表示所有满足b的条件的元素的集合
如{n|0≤n≤2,n∈正整数}={0,1,2}
定义加法a+b:
a+0=a
a+b'=(a+b)'
a+b=sup{a+c|c
族客云提供支持