ผลการค้นหา

ทฤษฎีบท

หมายถึงน. ข้อความที่พิสูจน์แล้วว่าเป็นจริง และใช้ในการอ้างอิงเพื่อพิสูจน์ข้อความอื่นได้. (อ. theorem).

เรขาคณิตบริสุทธิ์

หมายถึง(คณิต) น. เรขาคณิตที่ใช้กฎเกณฑ์ของระบบตรรกศาสตร์โดยเริ่มต้นจากบทนิยามและสัจพจน์ที่เกี่ยวกับรูปทรงมาเรียบเรียงให้เป็นทฤษฎีบท แล้วอนุมานผลลัพธ์จากทฤษฎีบท.