Učitavanje video playera...
01:16:00
Vedran Čačić: Proširenje signature teorije NFU (2)
NFU je alternativna teorija skupova, koja se bavi pridruživanjem razina (tipova) varijablama i termima u formulama koje komprehenzijom definiraju skupove. Na taj način eliminiraju se mnogi paradoksi, i kriterij za bivanje skupom nije veličina klase (kao u ZFu) već stratificiranost njene definicije.
Pri razvoju teorije skupova, uobičajeno je čitavo vrijeme proširivati signaturu: imenovati određene terme funkcijskim (ili konstantskim) simbolima te imenovati određene formule relacijskim simbolima. To možemo činiti i u NFU, ali opreznije, pazeći da stratificiranost ostane očuvana. Vidjet ćemo što to točno znači za terme i formule teorije NFU, te navesti primjere.
