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

Omega-consistency