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