闪光骇客 069

不相容数论是一种非标准版本的算术，其基础是“几乎”互相矛盾的公理一它们的可取之处在于，矛盾只能出现在“无限长的证明”中（这在形式上是不允许的，更何况在物理上也根本不可能实现）。这种现代数学非常有价值，但艾莉森似乎准备把“无限长”替换成普普通通的“长”，就好像在实践中，这二者的区别无关紧要似的
“不相容数论”这个翻译有问题，根据上下文内容应该是ω-不一致数论。不相容数论一般指的是Meyer提出的R#，该理论是否定不一致但绝对一致的。