МЕТАМАТЕМА̀ТИКА ж. Мат. Съвкупност от математически теории, използвани при изучаване на формалните изчисления; теория на доказателствата.
