Kategori:Tanıtlama teorisi
Matematiksel mantıkta tanıtlama teorisi, tanıtları formel matematiksel nesneler olarak ele alarak matematiksel tekniklerle analiz edilmelerine olanak sağlar. Kategori:Matematiksel mantık
Kategori:Matematiksel ispatlar
Kategori:Metalojik.