The first form of the axiom is:∀a,b

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.

ผลลัพธ์ (ไทย) 1:

รูปแบบครั้งแรกของความจริงคือ:
∀ b, c, p, q: ∃ x:. bapc ∧ bbqc ⟹ bpxb ∧ bqxa
ที่ b, c, p, q, x เป็นจุด

ผลลัพธ์ (ไทย) 2:

แบบแรกของสัจพจน์เป็น:
∀a, b, c, p, q: ∃x:Bapc∧Bbqc⟹Bpxb∧Bqxa
a, b, c, p, q, x จะจุด

ผลลัพธ์ (ไทย) 3:

เป็นครั้งแรกที่เป็นของที่ไม่จำเป็นต้องพิสูจน์คือ:
∀a , B , C , P , Q : ∃x : bapc∧bbqc⟹bpxb∧bqxa
ซึ่ง, B , C , P , Q , X มีจุด.