This course introduces basic logic, the history of set theory, sets, classes, functions, relations, partially ordered sets, the axiom of choice, numbers, infinite sets, cardinal numbers, ordinal numbers, and similar topics.