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

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

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

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

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

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

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