Gödel's incompleteness theorems
『数学ガール』（すうがくガール）は、結城浩による、数学を題材にした小説の書名であり、その後のシリーズ名でもある。2007年に第1作『数学ガール』が刊行され、その後、第2作『フェルマーの最終定理』、第3作『ゲーデルの不完全性定理』、第4作『乱択アルゴリズム』、第5作『ガロア理論』、第6作『ポアンカレ予想』が続いた。2010年12月時点でシリーズ累計10万部。2014年日本数学会賞出版賞受賞。