The truth of a mathematical statement, in this view, is represented by the fact that the statement can be derived from the axioms of set theory using the rules of formal logic.
عمده‌ترین این زمینه‌ها عبارت است از:* نظریه اصل موضوعی مجموعه‌ها* نظریه مدلجستجو برای یافتن دیگر بنیان‌های ریاضیات همچنان بین فلاسفه ریاضیات ادامه دارد.