在傳統邏輯中,公理是沒有經過證明,但被當作不證自明的一個命題。因此,其真實性被視為是理所當然 ... Metamath axioms page(页面存档备份,存于互联网档案馆) ...
確定! 回上一頁