高斯绝妙定理（1 / 2）

科恩和莱维开始讨论关于ZFC中的力迫法。

科恩说：“我要构造构造公理系统的模型的方法。”

莱维说：“如何构造。”

科恩说：“用于构造兼纳扩充的偏序集。你不是研究了偏序集了吗？”

莱维说：“你能打个简单的比方吗？”

科恩说：“没问题，假设从前有上帝，人不可能了解上帝的全貌，但是有许许多多的人接触过上帝的神迹.”

莱维说：“是的，上帝神迹的集合就是ZFC构造的所有集合。”

肯恩说：“不同的人了解的上帝的神迹不一样，有的多一些，有的少一些，甚至有些互相抵触，互相矛盾;两个人见识的神迹，有可能所见识过的，另一个完完全全清楚.”

莱维说：“没错，你需要用ZFC去统一他们。”

科恩说：“有虔诚的信徒想调查所有人所知道的神迹，然后把这些神迹全部拼凑在一起，也许就是完整的神的模样.他调查了许许多多人，采信并记录了一些人的观点.”