Učitavanje video playera...
01:20:49
Vedran Čačić: Teorem Tarskog u teoriji NFU
Teorija NFU alternativna je teorija skupova, čiji aksiomi uključuju komprehenziju po bilo kakvim stratificiranim formulama (to su formule teorije tipova, ali "sa zaboravljenim tipovima"). Teorem Tarskog je tvrdnja da je "svaki beskonačni kardinalni broj je jednak svojem kvadratu" ekvivalentna s aksiomom izbora (AC, odnosno teorem o dobrom uređenju povlači tvrdnju o kvadratima relativno jednostavno -- potrebno je dokazati drugi smjer). "Standardni" (ZF) dokaz bitno koristi činjenicu da za svaki skup postoji element izvan njega, što u NFU ne vrijedi (postoji univerzalni skup, koji sadrži sve objekte). Istražit ćemo vrijedi li tvrdnja uopće, te kako bi se mogla dokazati odnosno opovrgnuti.
