其实没啥打架的，我也没觉得人家是民科。只是您将辅助理解的工具误认为了研究对象本身。

在Dedekind cut里fill the gap也是打引号的，定义里并没有线是点组成的意思。

所有跟帖： 

• 我是民科：） -JSL2023- ♂ (150 bytes) () 12/22/2023 postreply 21:26:39

• 映射不是等于。只是将本来抽象的点线面更加抽象到symbol。 -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 21:39:00

• 那为什么我们关心Godel -JSL2023- ♂ (116 bytes) () 12/22/2023 postreply 21:41:28

• 出个无情对：树已千寻难纵斧。您在这里提Goedel 的论据，就像这上下联的关系一样：） -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 21:54:00

• 没有文学细胞：） -JSL2023- ♂ (0 bytes) () 12/22/2023 postreply 21:59:55

• Google既可，一点研究能力。：） -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 22:02:00