रूडोल्फ कार्नाप, अल्फ्रेड टार्स्की आउर हास्केल करी जइसन दोसर औपचारिकवादी लोग गणित के औपचारिक स्वयंसिद्ध प्रणाली के जांच के मनलस.