دیگر رسمی گرایان مانند رودولف کارنپ، الفرِد تارسکی، و هسکیل کوری ریاضیدانان محسوب میشوند که بررسی سیستم های رسمی قاعده اند.