每个逻辑系统 其实背后都会有自己的形上学
基础 像是亚里斯多德的三段论（述词、范
畴） 就和他那套本质论有关 柏拉图的理形论
那时后好像就有这样的雏形但还没有逻辑系统
出现