数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野で、
非古典論理、証明論、構成的数学、モデル論や意味論、集合論、計算論
などの分野群の総称です
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです）

応用、ないし交流のある分野は、計算機科学の諸分野や、
代数幾何（Hrushovskらiによる研究）などを含み、多岐にわたります
（cf. 数学セミナー98年6月号、「数学基礎論の学び方」）
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html

従ってこのスレでは、基礎的な数学の質問はスレ違いとなります
他のスレで御質問なさるようにお願いします