算术的非标准模型
上世纪1934年，挪威数学家Skolem（1887-2063）借助自然数超乘积构造了算术系统的非标准模型，其中含有非标准自然数（无穷大自然数），开启了数学模型论的大门。据此，数学家Skolem被誉为数学模型论之先锋。
简而言之，在Skolem的算术模型中，存在非标准无限大的自然数H，下式成立：
1+1+1+1+…… < H
这种非标准算术系统也满足Peano公理组。
袁萌
上世纪1934年，挪威数学家Skolem（1887-2063）借助自然数超乘积构造了算术系统的非标准模型，其中含有非标准自然数（无穷大自然数），开启了数学模型论的大门。据此，数学家Skolem被誉为数学模型论之先锋。
简而言之，在Skolem的算术模型中，存在非标准无限大的自然数H，下式成立：
1+1+1+1+…… < H
这种非标准算术系统也满足Peano公理组。
袁萌