哥德尔是正面典型，策梅洛是反面典型。
你犯了把岳飞和秦桧归同类的错误。

【 在 l1978 (我爱小猫) 的大作中提到: 】
: 水木上还见过一个妄人，声称哥德尔是蠢货，不完备定理全错，大概和你同类
--
FROM 112.47.162.*