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