超数学（ちょうすうがく）あるいはメタ数学（メタすうがく、英: metamathematics[1]）とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。
![[icon]](/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Wiki_letter_w_cropped.svg){kind=small}
