1. Розділ математики, що вивчає логічні основи, структуру та властивості самих математичних теорій за допомогою строгих формальних методів, зокрема досліджує питання непротиріччя, повноти та вирішуваності.
2. Філософська дисципліна, що аналізує природу, методологію та засади математичного знання, його зв’язок з реальністю та іншими науками.