Смотреть больше слов в «Русско-английском словаре математических терминов»
свойство формальных арифметич. систем, означающее невозможность получения омега-противоречия. Омега-противоречием наз. такая ситуация, когда для некро... смотреть
= ω - непротиворечи́вость оме́га-несупере́чність, ω-несупере́чність
omega-consistency
omega-consistency
omega-consistence