रूडोल्फ कार्नाप, अल्फ्रेड तारस्के, अउ हास्केल करी जैसे आने औपचारिकताएं, गणित ल औपचारिक एक्सीओम सिस्टम के जांच के रूप म माना जाथे।