是命題的類型之一，是由公理推導(dǎo)出來的，可被經(jīng)驗事實所檢驗。
對客觀事物及其相互關(guān)系的一種固定化描述；模型是對現(xiàn)實世界進行抽象模擬所構(gòu)成的假想世界。
