Keywords: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independenceFull text (file, 776,82 KB)