(especially in mathematics) a forma

(especially in mathematics) a formal statement that can be shown to be true by logic

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

(โดยเฉพาะอย่างยิ่งในวิชาคณิตศาสตร์) คำสั่งอย่างเป็นทางการที่สามารถแสดงจริง โดยตรรกะ

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

(โดยเฉพาะในวิชาคณิตศาสตร์) คำสั่งอย่างเป็นทางการที่สามารถแสดงให้เห็นว่าจะเป็นจริงโดยตรรกะ

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

( โดยเฉพาะอย่างยิ่งในคณิตศาสตร์ ) แถลงการณ์อย่างเป็นทางการที่สามารถแสดงให้เห็นจริงโดยตรรกะ