【发布时间】：2017-05-12 12:29:45
【问题描述】：
我是合金初学者。
我正在尝试模拟一个数学问题。
我想证明平面至少存在四行的定理，我用下面的四个公理来证明这些定理。
- 公理1：至少存在一行；
- 公理 2：每行包含 至少三分；
- axioms3：并非所有点都在同一条线上；
- axioms4：通过任意两点恰好有一条线。
定理：至少存在四行。
如何构建上述模型？
【问题讨论】：
-
欢迎来到 Stack Overflow！请向我们展示您到目前为止所做的尝试。你可以edit它进入你的问题。
-
请不要编辑已经回答的问题。如果您有新问题，只需创建一个新帖子以保持 Q&A 一致。
标签： alloy