メタ数学
from 数学基礎論 (数理論理学) 入門 by alg-d
数学基礎論、あるいは数理論理学とは、数学の証明というものを定式化しようとするもの
その定式化の中で
公理や証明(形式的証明)というものを定める
この２つは違う
ZFという体型の中に出てくる単なる記号としての変数
これから定義する体型 (ZF)
我々が普段数学で使っている変数
我々が普段やってる数学
こっちをメタ数学という
形式的証明の中で登場する体型の中の集合と区別して、メタ数学における集合をメタ集合と呼ぶ