Nagel, Ernest <br/><br/>
Ge te er zheng ming 葛特爾証明 
 Gödel, Kurt 
Nagel, Ernest 
 - Taibei  Taiwan Shangwu  1971 臺北  台灣商務印書館  1971 
 - 99 p. 
 - Xin kexue wenku Xin ke-xue wen-ku 新科學文庫 .