However , what has not been made cl

However , what has not been made clear are the grounds for the assumptions made in the proof .The assumptions made are of two types : mathematical and logical assumptions .The mathematical assumptions used are the definition (D1 and D2) and the axioms (A1 and A2) .The logical assumptions are the rules of inference used And R 2), which are part of the underlying proof theory, and the underling syntax of the formal language.

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

อย่างไรก็ตาม อะไรไม่ได้ชัดเจนมีเหตุผลสมมติฐานในการพิสูจน์สมมติฐานที่ทำมีสองชนิด: สมมติฐานทางคณิตศาสตร์ และทางตรรกะสมมติฐานทางคณิตศาสตร์ที่ใช้เป็นคำนิยาม (ง 1 และ D2) และสัจพจน์ (A1 และ A2)สมมติฐานเชิงตรรกะเป็นกฎข้อใช้และ R 2), ซึ่งเป็นส่วนหนึ่งของหลักฐานทฤษฎีพื้นฐาน และสมุนไวยากรณ์ของภาษาเป็นทางการ

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

แต่สิ่งที่ไม่ได้รับการทำที่ชัดเจนเป็นเหตุให้สมมติฐานในการพิสูจน์สมมติฐานได้โดยง่ายทำให้มีสองประเภท: สมมติฐานทางคณิตศาสตร์และตรรกะได้โดยง่ายสมมติฐานทางคณิตศาสตร์ที่ใช้มีความหมาย (D1 และ D2) และสัจพจน์ (A1 และ A2) ได้โดยง่ายสมมติฐานตรรกะมีกฎของการอนุมานที่ใช้และ R 2) ซึ่งเป็นส่วนหนึ่งของการพิสูจน์ทฤษฎีพื้นฐานและไวยากรณ์สมุนของภาษาที่เป็นทางการ

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

อย่างไรก็ตาม สิ่งที่ยังไม่ชัดเจน มีพื้นที่สำหรับสมมติฐานในพิสูจน์ สมมติฐานที่ได้เป็นสองประเภท : คณิตศาสตร์และตรรกะทางคณิตศาสตร์ของสมมติฐาน สมมติฐานที่ใช้เป็นคำนิยาม ( D1 และ D2 ) และสัจพจน์ ( A1 และ A2 ) สมมติฐานเชิงตรรกะเป็นกฎของการอนุมานที่ใช้ และ อาร์ 2 ) ซึ่งเป็นส่วนหนึ่งของต้นแบบข้อพิสูจน์ทฤษฎีและลูกน้องวากยสัมพันธ์ของภาษาอย่างเป็นทางการ