科恩和萊維開始討論關於ZFC中的力迫法。

　　科恩說:“我要構造構造公理系統的模型的方法。”

　　萊維說:“如何構造。”

　　科恩說:“用於構造兼納擴充的偏序集。你不是研究了偏序集了嗎?”

　　萊維說:“你能打個簡單的比方嗎?”

　　科恩說:“沒問題，假設從前有上帝，人不可能了解上帝的全貌，但是有許許多多的人接觸過上帝的神跡.”

　　萊維說:“是的，上帝神跡的集合就是ZFC構造的所有集合。”

　　肯恩說:“不同的人了解的上帝的神跡不一樣，有的多一些，有的少一些，甚至有些互相抵觸，互相矛盾;兩個人見識的神跡，有可能所見識過的，另一個完完全全清楚.”

　　萊維說:“沒錯，你需要用ZFC去統一他們。”

　　科恩說:“有虔誠的信徒想調查所有人所知道的神跡，然後把這些神跡全部拚湊在一起，也許就是完整的神的模樣.他調查了許許多多人，采信並記錄了一些人的觀點.”

　　萊維說:“這就是你要做的工作。”

　　科恩說:“但是很顯然，那些相互矛盾的內容至多選擇其中之一，也就是說，他記錄的的觀點，都是互不矛盾的.”

　　萊維說:“沒錯，這樣是本質上產生偏序集的原因。”

　　科恩說:“此外，為了保證自己記錄觀點的完整性，如果對於某一個看法，互相矛盾的看法有很多，大家眾說紛紜，那麽他必須選擇其中至少一個說法記錄下來.”

　　萊維說:“這是最重要的，必須選擇重要的正確的來做集合。”

　　科恩說:“因為神跡實在是太多了，幾乎無窮無盡，他不管怎麽調查，都還是有一些問題懸而未決.”

　　萊維說:“這也是無法避免的。”

　　科恩說:“最後，所以上帝畢竟是上帝，這位信徒直到死也沒能完成這個記錄.但是他從已經記錄下來的信息中，獲得了許多前人所不知道的知識.”

　　萊維說:“或許，這就是結果。”