অন্যান্য আনুষ্ঠানিকতাবাদী, যেমন রুডলফ কার্নাপ, আলফ্রেড টারস্কি এবং হাসকেল কারি গণিতকে আনুষ্ঠানিক স্বতঃসিদ্ধ পদ্ধতির তদন্ত বলে মনে করেন।