Ω-consistent theory (source code)

= Ω-consistent theory
{wiki=Ω-consistent_theory}