* postulati su temeljne pretpostavke u sustavu logike ili matematike koje su prihvaćene kao istinite bez dokaza. Oni su polazište za izgradnju logičke strukture.
* izjave jednostavno su tvrdnje koje mogu biti istinite ili lažne. Oni nemaju nužno istu razinu temeljne važnosti kao i postulati.
Razdvojimo vaše primjere:
* Sve mačke hodaju po četiri noge. Ovo je generalizacija koja je općenito istinita, ali ne postulat. Mogle bi postojati iznimke (npr. Mačka s invaliditetom).
* Sunce je vruća kuglica plina. Ovo je znanstvena činjenica, podržana dokazima i promatranjem. To nije postulat; To je zaključak temeljen na znanstvenoj istrazi.
* Sisavci su životinje koje proizvode mlijeko i imaju kosu. Ovo je definicija sisavaca, a ne postulat. To je opis koji nam pomaže kategorizirati životinje.
Evo nekoliko primjera postulata:
* U geometriji, Euclidini postulati: To su temeljne izjave o točkama, linijama i ravninama koje su prihvaćene kao istinite bez dokaza.
* U teoriji skupa, aksiom izbora: Ovaj postulat tvrdi postojanje načina odabira jednog elementa iz svakog seta u zbirci skupova, čak i ako postoji beskonačno mnogo setova.
Ključna razlika je u tome što su postulate temeljne pretpostavke koje se koriste za izgradnju logike ili teorije, dok su izjave jednostavno tvrdnje koje se mogu procijeniti za istinu ili lažnu.