給雲煙檢查覈對推導過程, 並且指導她發論文的教授名叫錢賢。 海大數學系的名譽教授。 專門研究各種國外前沿的數學邏輯。 他早年就研究過這方面，並且發過一些論文。 後來可能發現了更有意義的研究數學邏輯領域…