Page "ω-consistent theory" not found :(