We can show that Axiom(3c) is indep

We can show that Axiom(3c) is independent of the other two axioms by looking at the following different model, in which Axioms(3a) and (3b) hold,but axiom(3c) does not:

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

เราสามารถแสดงได้ว่า Axiom(3c) เป็นอิสระสองสัจพจน์อื่น ๆ ได้ โดยดูที่รุ่นต่าง ๆ ต่อไปนี้ ในการ Axioms(3a) และค้าง (3b) axiom(3c) ไม่ได้:

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

เราสามารถแสดงให้เห็นว่าความจริง (3c) เป็นอิสระจากอีกสองหลักการโดยดูที่รูปแบบที่แตกต่างกันดังต่อไปนี้ซึ่งในหลักการ (3a) และ (3b) ถือ แต่ความจริง (3c) ไม่ได้: