омега-непротиворечивость
Часть речисущ.Значений1
- матем. свойство формальных арифметических систем, означающее невозможность получения омега-противоречия
Источник: статья «омега-непротиворечивость» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.