有意思。这个证明，有相关的应用吗？我这样问，是不是太实用主义了。

所有跟帖： 

• 欧氏几何是根植于应用的。但在公理体系之上的大量命题和定理，我认为没有什么直接应用。 -唐宋韵- ♂ (0 bytes) () 11/15/2023 postreply 17:28:25