數學家為咗搞清楚數學基礎，諗咗數理邏輯同集合論等嘅子領域。呢柞子領域專注於將數學放喺一個嚴謹嘅公理架構上，並且研究呢個架構嘅後件。佢哋希望用最少嘅公理－一啲不證自明嘅命題－嚟去推論出所有嘅數學，令到數學呢門學科有一個穩陣嘅基礎。