Cyti formalisti kai Rudolfs Karnaps, Alfreds Tarski i Haskels Karijs skaiteja, ka matematika ir formalu aksiomu sistemu izpiete.