ABSTRACT

1.1 One may think of Set Theory as the language of modern mathematics, Mathematical logic then playing the role of grammar. Ideally both the language and its grammar should be completely known at the same time, but in practice this is not feasible. Therefore we do not want to start with a formal course on Axiomatic Set Theory in addition to a course of logic, but hope to obtain a more didactical approach by developing smaller parts of theory in different stages, the division into these parts depending on the immediate application one has in mind. We have chosen this approach but without going to the other extreme, i.e. being completely intuitive. So on one hand we do occasionally refer to a concept as being intuitively known, but on the other hand have chosen to stay close to rather axiomatic development.