You then accept a statement written

You then accept a statement written in your language as true only if you can prove it directly from the axioms, with no extra assumptions, using only your rules of logic.

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

แล้วคุณจะยอมรับคำสั่งที่เป็นลายลักษณ์อักษรในภาษาของคุณเป็นจริงเฉพาะในกรณีที่คุณสามารถพิสูจน์ได้โดยตรงจากหลักการที่ไม่มีสมมติฐานพิเศษโดยใช้เพียงกฎของคุณของตรรกะ

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

คุณยอมรับคำสั่งที่เขียนในภาษาของคุณเป็นจริงถ้าคุณสามารถพิสูจน์ได้โดยตรงจากสัจพจน์ กับสมมติฐานไม่เสริม ใช้เฉพาะกฎของตรรกะแล้ว

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

จากนั้นคุณยอมรับประกาศที่ได้เขียนไว้ใน ภาษา ของคุณเป็นอย่างแท้จริงเพียงแห่งเดียวหากคุณสามารถพิสูจน์ได้โดยตรงจากไม่ต้องพิสูจน์)ที่พร้อมด้วยไม่มีสมมุติฐานพิเศษโดยใช้กฎระเบียบของคุณเท่านั้นในเชิงตรรกะ