第15章 ω-矛盾体的终极证明(第2页)