This has become known as his Gödel'

This has become known as his Gödel's first incompleteness theorem.This did not bode well for Hilbert's program, but it left open the possibility that the consistency of higher mathematics is not one of these undecidable statements.

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

นี้ได้กลายเป็นเรียกว่าทฤษฎีบทเกอเดลแรก Gödel ของเขา นี้ไม่ได้ไม่เป็นลางดีสำหรับโปรแกรมของฮิลแบร์ท แต่มันเหลือเปิดความเป็นไปได้ว่า ความสอดคล้องของคณิตศาสตร์ที่สูงขึ้นไม่ใช่ของงบ undecidable

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

นี้ได้กลายเป็นที่รู้จักในฐานะGödelของเขาไม่สมบูรณ์ theorem.This แรกไม่ได้เป็นลางดีสำหรับโปรแกรมฮิลแบร์ต แต่ก็เปิดทิ้งไว้เป็นไปได้ว่าสอดคล้องของคณิตศาสตร์ที่สูงขึ้นไม่ได้เป็นที่หนึ่งของงบ undecidable เหล่านี้

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

นี้ได้กลายเป็นที่รู้จักในฐานะของเขา G ö del แรกขาดความเชื่อ นี้ไม่ได้เป็นลางดีสำหรับฮิลเบิร์ตของโปรแกรม แต่ก็เปิดทิ้งไว้ ความเป็นไปได้ที่ความสอดคล้องของคณิตศาสตร์ที่สูงขึ้นไม่ได้เป็นหนึ่งของงบ undecidable เหล่านี้