Abstract

Summary. We prove basic facts about enumerated sets: definitional theorems and their immediate consequences, some theorems related to the decomposition of an enumerated set into union of two sets, facts about removing elements that occur more than once, and facts about permutations of enumerated sets (with the length ≤ 4). The article includes also schemes enabling instantiation of up to nine universal quantifiers. MML Identifier: ENUMSET1. WWW:

Citations

1274	Tarski Grothendieck set theory - Trybulec - 1989