22 Сигма-1 полнота и Сигма-1 определимость

Теорема о позитивной Сигма-1 полноте слабой (конечно аксиоматизируемой) арифметики и всех вышестоящих арифметик. Теорема о Сигма-1 определимости частино-рекурсивных функций в стандартной арифметической сигнатуре с неравенством.