Logical unprovability

Перевод слова "logical unprovability" на русский язык

Logical unprovability challenges traditional assumptions in mathematics.

Логическая недоказуемость бросает вызов традиционным предположениям в математике.