竹内 外史（たけうち がいし、1926年1月25日 - ）は、日本の数学者。数理論理学が専門。東京大学卒業。
プリンストンでゲーデルに直に教わり、内気なゲーデルが心を明かせる数少ない人だった。
長くイリノイ大学で教鞭を執る。その間、実数論の無矛盾性の証明を試みる。
一般向けに書いた、講談社ブルーバックス刊の『集合とは何か』は名著とされる。
日本の数学者 たけうちかいし
1926年生 たけうちかいし
論理学者 たけうちかいし
Gaisi Takeuti
（Wikipediaから自動的に取得しているため、本人と異なる情報が表示される場合があります。）