竹内外史とはなんですか？

A. 竹内 外史は、日本の数学者、論理学者であり、特に数学基礎論や数学教育の分野で業績を残しました。

参考URL:https://ja.wikipedia.org/wiki/%E7%AB%B9%E5%86%85%E5%A4%96%E5%8F%B2