This works provided one can determi

This works provided one can determine when sufficiently many rules have been generated from the axioms for word of any given length

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

งานนี้มีหนึ่งสามารถกำหนดเมื่อการสร้างกฎมากพอจากสัจพจน์ที่ word ความยาวใด ๆ กำหนด

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

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

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

งานนี้ให้หนึ่งสามารถกำหนดเวลาอย่างเพียงพอกฎมากมายได้ถูกสร้างขึ้นจากสัจพจน์สำหรับ Word ของความยาวใด ๆ