Omega-consistent

From Free net encyclopedia