ω-consistency
   HOME
*