【公理】

經過長期反覆實驗而為人所公認的定論，常被用來解決問題和證明其他陳述。如A＝B，B＝C　則 A＋B＝A＋C 。