(შემდეგ შესწავლა, მეცნიერება)მათემატიკური ლოგიკის განყოფილება, რომელიც ფორმალური მეთოდების საშუალებით სწავლობს მათემატიკის საფუძვლებს, მათემატიკური დამტკიცებებისა და მათემატიკური თეორიების სტრუქტურას. ტერმინი „მეტამათემატიკა“ სიტყვასიტყვით ნიშნავს: მათემატიკის საზღვრებს გარეთ.
Source: პედაგოგიკურ ტერმინთა განმარტებითი ლექსიკონი /ჯემალ ჯინჯიხაძე;, რედაქტორი თამაზ კარანაძე. თბილისი: უნივერსალი, 2017.