عادتا تدقیق اولونان مفهوم و پروسسلرین ایدئاللاشدیریلمیش خوصوصیّتلری اصللر شکلینده فورمالاشدیریلیر. بوندان سونرا ایسه بو اصللر اساسیندا دقیق یوللارلا باشقا منطیقی جهتجه دوغرو قضیه‌لر الده ائدیلیر. بو نظریّه عومومیلیکده تدقیق اولونان مفهوملارین ریاضی مودلینی عمله گتیریر.