Ključne besede: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independenceCelotno besedilo (datoteka, 776,82 KB)