This did not bode well for Hilbert'

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:

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

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

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

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

นี้ไม่ได้เป็นลางดีสำหรับฮิลเบิร์ตของโปรแกรม แต่ก็เปิดทิ้งไว้ ความเป็นไปได้ที่ความสอดคล้องของคณิตศาสตร์ที่สูงขึ้นไม่ได้เป็นหนึ่งของงบ undecidable เหล่านี้