O, esas arifmetikasından ibaret olğan er semereli formal sisteması, aqlı olsa (yani isbatlanılabilgen er teoreması aqiqiy ola), ille tam degil (yani bu sistemasında tasdıq etilip olamağan aqiqiy teoremalar da bar) olmasını (formal olmağan şeklinde) közde tutqan tamamsızlıq aqqında Gödel teoremalarnıñ peyda oluv yeri sayılmaqtadır.