送交者: eng 于 2005-6-21, 04:49:30:

回答: Are most theorems of type B? 由 Europeanese 于 2005-6-21, 04:29:25:

当选择公理时，如果说“作为公理的命题比普通的命题具有'更优越'的地位”，那么这一定是指“所有”的公理命题都比“所有”的普通命题优越。否则就存在多种公理选择的方式，即xinku所要表达的意思。

所以要证明“所有的公理命题都比所有的普通命题优越“这个命题是不成立的，只要有一个反例就够了。

• No, we are just saying most theorems cannot be used as axioms. - Europeanese (77 bytes) 2005-6-21, 07:05:23

加跟贴