An axiomatic system is said to be c

An axiomatic system is said to be consistent if it lacks contradiction, i.e. the ability to derive both a statement and its denial from the system's axioms.

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

มีระบบ axiomatic กล่าวจะสอดคล้องกันถ้ามันไม่มีความขัดแย้ง เช่นความสามารถในการสืบทอดคำสั่งและการปฏิเสธจากของระบบสัจพจน์

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

ระบบซึ่งเป็นจริงมีการกล่าวเพื่อให้สอดคล้องถ้ามันขาดความขัดแย้งคือความสามารถในการที่จะได้รับทั้งคำสั่งและการปฏิเสธจากหลักการของระบบ

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

ระบบสัจพจน์ว่า สอดคล้อง หากขาดความขัดแย้ง เช่น ความสามารถในการสืบทอดทั้งงบและการปฏิเสธจากระบบสัจพจน์ .