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