Wang Qi came to see Feng Luoyi this time, naturally to report on his recent work.
Even the greatest idea leaves traces. A proof driven purely by an "inspiration" still requires brewing. Godel's Incompleteness Theorem is a typical example of "inspiration" and "creative thinking." However, he first had to prove the Godel Completeness Theorem as a prerequisite.
In the past year or two, Wang Qi maintained a habit of reporting to Feng Luoyi every one to two months. In addition, he would have exchanges with this top arithmetician of the era.
After finishing his report, Wang Qi got up to leave. At this time, Feng Luoyi called out to him: "Wang Qi, I ask you, if you were to estimate, how long will it take for you to prove this First Question?"
