Еще раз о выразительности PA

[nikov]

Пусть у нас есть два треугольника, длины сторон которых выражаются целыми положительными числами. Можно ли записать на языке арифметики Пеано формулу с 6 свободными переменными (задающими длины сторон), которая была бы эквивалентна утверждению "первый треугольник можно разместить внутри второго (включая границу)"? Если ответ на этот вопрос утвердительный, то еще вопрос: можно ли написать алгоритм, который определяет истинность этой формулы после подстановки в нее конкретных целых чисел?

[Yarkin]

nikov в сообщении #194544 писал(а):

Пусть у нас есть два треугольника, длины сторон которых выражаются целыми положительными числами

Что такое РА и исключается ли подобие?

[nikov]

Yarkin писал(а):

Что такое РА и исключается ли подобие?

PA - Peano Arithmetic, арифметика Пеано.
Разрешаются только параллельные переносы и повороты.