14．（3分）B 15．（3分）C 16．（2分）数学形式系统不仅是不完全的，而且还是不可完全的。 在数学形式系统内部不可能证明本系统的不矛盾性。 17．（4分）主要理由：人类意识是不可能程序化的（2分）；自己的看法言之成理即可（2分）
