د روډولف کارنیپ، الفریډ تارسکی او هاسکل کری په څیر نور رسمي پوهانو ریاضیات د رسمي منلی حقیقت سیسټمونو څیړنه ګڼلی.