计算理论与符号逻辑 教学课件 作者 张兴元 王元元 宋丽华 cl 18.pdf

Hilbert 18 January 4, 2009 Hilbert 1 TQ ⊆ T TT (0 = 1) Hilbert 1 TQ ⊆ T TT (0 = 1) . Hilbert 1 TQ ⊆ T TT (0 = 1) . 1 T TT (0 = 1) Hilbert 1 TQ ⊆ T TT (0 = 1) . 1 T TT (0 = 1) 2 T (0 = 1)Q (0 = 1)Q ⊆ T T (0 = 1) T Hilbert 1 TQ ⊆ T TT (0 = 1) . 1 T TT (0 = 1) 2 T (0 = 1)Q (0 = 1)Q ⊆ T T (0 = 1) T 1 1∼∃y .PrfT ( 0 = 1 , y ) ∼PrvT ( 0 = 1 ) T‘’ Consistency Sentence