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