Učitavanje video playera...
00:59:47
Adlešić, Formalni pristup stratifikaciji u NF/NFU
Centralni pojam teorije NF(U) je pojam stratifikacije i stratificirane formule.
Dokazat ćemo neka na prvi pogled jednostavna svojstva tipizacija (pridruživanje
tipova varijablama koje zadovoljava određene uvjete), među kojima je najvažnije
ono o postojanju najmanje tipizacije za svaku stratificiranu formulu. Nadalje,
nakon uvođenja aksioma teorije NFU razvijamo sredstva za daljnji strogi razvoj.
Proširujemo osnovni jezik tako što uvodimo apstrakcijske i ugniježđene apstrak-
cijske terme te opisujemo kako im možemo pridružiti tip. Na taj način smo u
mogućnosti provjeravati je li neka formula stratificirana u proširenom jeziku, bez
da ju raspisujemo u osnovni jezik. Korisnost takvog pristupa demonstriramo na
teoremu o postojanju skupa svih ordinalnih i kardinalnih brojeva.
