Set theory and topology. An introduction to the foundations of analysis. Part I: Sets, relations, numbers

2013/05/29 by Felix Nagel, Nagel, Felix
Computer Science · Psychology · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science

paper · pdf · doi:10.48550/arxiv.1306.2934

Abstract

We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. Starting from ZFC, the exposition in this first part includes relation and order theory as well as a construction of number systems.

Related

• Set theory and topology. An introduction to the foundations of analysis. Part II: Topology - Fundamental notions
• Basic Set Theory and Algebra: Hints on Representation, Topology, Geometry, Analysis
• Classical Set Theory: Theory of Sets and Classes
• An elementary illustrated introduction to simplicial sets
• Point-Set Topology