omega consistency

Мат. омега-непротиворечивость