Gödel's incompleteness theorems tur

Gödel's incompleteness theorems turn out to be generally applicable to all sufficiently strong but consistent recursively axiomatizable theories.

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

ของ theorems ไม่เปิดออกมาโดยทั่วไปใช้กับทฤษฎี axiomatizable recursively แข็งแรงพอ แต่สอดคล้องกันทั้งหมด

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

ของGödelทฤษฎีบทไม่สมบูรณ์เปิดออกเพื่อจะโดยทั่วไปสามารถใช้ได้กับทุกที่แข็งแกร่งพอสมควร แต่ทฤษฎีที่สอดคล้อง axiomatizable ซ้ำ

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

ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลเป็นโดยทั่วไปสามารถใช้ได้กับทุกคนอย่างเข้มแข็ง แต่ทฤษฎี recursively axiomatizable สอดคล้องกัน