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