ω-consistency
   HOME