систему, выражающую арифметику, также описывает и наличие в арифметике неполноты?
Может, мне стоит просто начать бурить Википедию для лучшего понимания вопроса
не очень понял вопрос
Вот
Обсуждают сегодня