第15章 ω-矛盾体的终极证明