科恩和萊維開始討論關於zfc中的力迫法。
科恩說“我要構造構造公理係統的模型的方法。”
萊維說“如何構造。”
科恩說“用於構造兼納擴充的偏序集。你不是研究了偏序集了嗎？”
萊維說“你能打個簡單的比方嗎？”
科恩說“沒問題，假設從前有上帝，人不可能了解上帝的全貌，但是有許許多多的人接觸過上帝的神跡”
萊維說“是的，上帝神跡的集合就是zfc構造的所有集合。”
肯恩說“不同的人了解的上帝的神跡不一樣，有的多一些，有的少一些，甚至有些互相抵觸，互相矛盾兩個人見識的神跡，有可能所見識過的，另一個完完全全清楚”
萊維說“沒錯，你需要用zfc去統一他們。”
科恩說“有虔誠的信徒想調查所有人所知道的神跡，然後把這些神跡全部拚湊在一起，也許就是完整的神的模樣他調查了許許多多人，采信並記錄了一些人的觀點”
萊維說“這就是你要做的工作。”
科恩說“但是很顯然，那些相互矛盾的內容至多選擇其中之一，也就是說，他記錄的的觀點，都是互不矛盾的”
萊維說“沒錯，這樣是本質上產生偏序集的原因。”
科恩說“此外，為了保證自己記錄觀點的完整性，如果對於某一個看法，互相矛盾的看法有很多，大家眾說紛紜，那麼他必須選擇其中至少一個說法記錄下來”
萊維說“這是最重要的，必須選擇重要的正確的來做集合。”
科恩說“因為神跡實在是太多了，幾乎無窮無儘，他不管怎麼調查，都還是有一些問題懸而未決”
萊維說“這也是無法避免的。”
科恩說“最後，所以上帝畢竟是上帝，這位信徒直到死也沒能完成這個記錄但是他從已經記錄下來的信息中，獲得了許多前人所不知道的知識”
萊維說“或許，這就是結果。”
喜歡數學心請大家收藏101novel.com數學心101novel.com更新速度全網最快。