After we have sufficient axioms in

After we have sufficient axioms in (g), we can make a proposition in (g) that corresponds to a proposition in (a). The truth of a proposition in (g) should be decided only by deduction in the axiomatic system (g). For this deduction, (e) is used with the axiomatic system (g).

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

หลังจากที่เรามีสัจพจน์ของความเพียงพอ (g), เราสามารถทำให้ข้อเสนอใน (g) ที่สอดคล้องกับการเสนอ (ก) ความจริงของข้อเสนอใน (g) ควรถูกตัดสิน โดยหักเงินในระบบ axiomatic (g) สำหรับการหักนี้, (e) ใช้กับระบบ axiomatic (g)

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

หลังจากที่เรามีหลักการที่เพียงพอใน (ช) ทำให้เราสามารถสร้างข้อเสนอใน (ช) ที่สอดคล้องกับข้อเสนอใน (ก) ความจริงของเรื่องใน (ก) ควรจะตัดสินใจโดยเฉพาะการหักเงินในระบบจริง (ช) สำหรับการหักนี้ (จ) ถูกนำมาใช้กับระบบจริง (ช)

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

หลังจากที่เราได้สัจพจน์ที่เพียงพอ ( G ) , เราสามารถให้ข้อเสนอใน ( G ) ที่สอดคล้องกับข้อเสนอใน ( ) ความจริงของประพจน์ ( G ) ต้องตัดสินใจโดยเฉพาะการหักในระบบสัจพจน์ ( G ) หักลดหย่อน , ( E ) ที่ใช้กับระบบสัจพจน์ ( G )