算术的非标准模型
(2019-01-13 01:31:05)算术的非标准模型
上世纪1934年,挪威数学家Skolem(1887-2063)借助自然数超乘积构造了算术系统的非标准模型,其中含有非标准自然数(无穷大自然数),开启了数学模型论的大门。据此,数学家Skolem被誉为数学模型论之先锋。
简而言之,在Skolem的算术模型中,存在非标准无限大的自然数H,下式成立:
1+1+1+1+…… < H
这种非标准算术系统也满足Peano公理组。
袁萌
前一篇:超乘积构造方法
后一篇:现代数学的出发点(修改稿)