The first form of the axiom is:
∀a,b,c,p,q:∃x:Bapc∧Bbqc⟹Bpxb∧Bqxa
where a,b,c,p,q,x are points.
แบบแรกของสัจพจน์เป็น:
∀a, b, c, p, q: ∃x:Bapc∧Bbqc⟹Bpxb∧Bqxa
a, b, c, p, q, x จะจุด
การแปล กรุณารอสักครู่..
![](//thimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)
เป็นครั้งแรกที่เป็นของที่ไม่จำเป็นต้องพิสูจน์คือ:
∀a , B , C , P , Q : ∃x : bapc∧bbqc⟹bpxb∧bqxa
ซึ่ง, B , C , P , Q , X มีจุด.
การแปล กรุณารอสักครู่..
![](//thimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)