第267章 埃爾米特矩陣

  皮亞諾公理是意大利皮亞諾所構造的算術公理係統中的公理。1889年，在數學家戴德金工作的基礎上，皮亞諾在《用一種新方法陳述的算術原理》一書中提出了一個算術公理係統，這個公理係統有九條公理，其中四條是關於“相等”的，五條是刻畫數的，並且以l而不是0作為基本概念。在後來的著作中，皮亞諾對這一算術係統作了修改，去除了關於“相等”的四條公理，並且以0取代1作為基本概念，構造了沿用至今的皮亞諾算術公理係統。