Li Ming is most likely a senior logic teacher  Like most senior logic teachers, Li Ming is familiar with Gödel's completeness theorems and incompleteness theorems, while most people who are not senior logic teachers are not familiar with these theorems
In fact, many people who are not experienced teachers of logic have not even heard of Gödel
The concept of senior in reasoning is a vague concept