نظرية المجموعات
إن الفلسفة الأساسية "للشكلية formalism"، كما شرحها الرياضياتي ديفيد هيلبرت، تعتمد على نظرية المجموعات البديهية والمنطق الشكلي. ففعلياً، جميع المبرهنات الرياضية اليوم يمكن لها أن تصاغ كمبرهنات من نظرية المجموعات. وعلى حسب هذه النظرة، نجد بأن حقيقة العبارات الرياضياتية هو لا شيء، وإن هذه العبارات يمكن اشتقاقها من بديهيات نظرية المجموعات مع استعمال قواعد المنطق الشكلي.