ฉันไม่ได้เป็นผู้เชี่ยวชาญตรรกะ แต่ผมเชื่อว่าคำตอบคือไม่มี หากเครื่องทัวริงหยุดทำงานและระบบมีความแรงพอคุณควรจะสามารถเขียนประวัติการคำนวณแบบเต็มของเครื่องทัวริงบนอินพุต เมื่อมีการตรวจสอบว่าผลลัพธ์ของการคำนวณเป็นลำดับการเปลี่ยนของการเปลี่ยนภาพเราจะเห็นว่าเครื่องหยุด ไม่ว่าคุณจะทำให้เครื่องจักรทัวริงเป็นทางการในทฤษฎีของคุณอย่างไรคุณควรจะสามารถแสดงในทฤษฎีที่สมเหตุสมผลใด ๆ ที่เครื่องจักรหยุดทำงานจริงหยุด โดยวิธีการเปรียบเทียบลองคิดเพื่อพิสูจน์ว่าผลรวมแน่นอนมีค่าเท่ากับสิ่งที่มันเท่ากับ; เช่นพิสูจน์ว่า 5 + 2 + 3 + 19 + 7 +6 = 42 หรือ 5 + 5 + 5 = 15 เช่นนี้เป็นไปได้เสมอตราบใดที่จำนวนก้าวมี จำกัด ดังนั้นการพิสูจน์ผลลัพธ์ของการคำนวณ จำกัด ก็เช่นกัน
ในฐานะที่เป็นจุดที่ชัดเจนเพิ่มเติม - แม้ว่าทฤษฎีของคุณจะไม่สอดคล้องกันคุณยังสามารถแสดงให้เห็นว่าเครื่องจักรหยุดทำงานจริงแม้ว่ามันจะไม่ได้เนื่องจากคุณสามารถพิสูจน์ wff ใด ๆ ในทฤษฎีที่ไม่สอดคล้องกันไม่ว่ามันจะเป็นหรือไม่ก็ตาม จริงจริง