ω-consistent
   HOME
*