送交者: Europeanese 于 2005-6-21, 02:01:01:

回答: 公理有先验性吗？ 由 xinku 于 2005-6-21, 01:19:26:

People say that "作为公理的命题比普通的命题具有'更优越'的地位",
because "公理应该互相独立。如果某个命题可以从其他公理导出，那么它
就不应该作为公理。"

• 不对 - eng (113 bytes) 2005-6-21, 04:09:33
  • Are most theorems of type B? - Europeanese (0 bytes) 2005-6-21, 04:29:25
    • 也许，但这不重要 - eng (278 bytes) 2005-6-21, 04:49:30
      • No, we are just saying most theorems cannot be used as axioms. - Europeanese (77 bytes) 2005-6-21, 07:05:23

加跟贴