每個邏輯系統 其實背後都會有自己的形上學
基礎 像是亞里斯多德的三段論（述詞、範
疇） 就和他那套本質論有關 柏拉圖的理形論
那時後好像就有這樣的雛形但還沒有邏輯系統
出現