After hearing Wang Qi's words, Feng Luoyi actually fell into deep thought. After a while, he asked with a grave expression, "Wang Qi, answer me honestly—by 'the larger and stronger a logical system is, the more obvious its incompleteness becomes,' is that what you meant? Have you come up with some new idea?"
Wang Qi instinctively wanted to nod, but then he jolted. "No, no, no. I only vaguely had such a thought while proving first-order completeness—since only first-order completeness can currently be proven, we may regard everything beyond first-order as incomplete."
It was better not to bring out Gödel's Incompleteness Theorems before he had fully digested them. Throwing out something he had not completely understood was more or less courting death.
Feng Luoyi frowned, seemingly displeased with that answer. "What are you relying on to know that? Intuition?"
Wang Qi's first reaction was a sneer. "Intuition? How could that... No, no, no, it isn't intuition. This is my personal, uh, not exactly a conjecture either. It should count as one of my goals for the next stage, starting from completeness."
The man before him seemed to dislike talk of intuition...
"That is a very bad habit. How can something unproven be used as an established conclusion?" Only then did Feng Luoyi's expression ease somewhat. He still rebuked Wang Qi before asking, "One of them? What else is there?"
"I am planning to work on the law of large numbers with Junior Sister Bo. And recently, this junior joined an empirical research department, so perhaps I will also work on mathematical statistics and systems theory."
"The law of large numbers is a good topic. Statistics and the law of large numbers should have points where they intersect, but systems theory is far too broad a subject." Feng Luoyi criticized Wang