Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I would like to get an overview over what different first-order systems suitable for the formalization of "classical" mathematics are currently known.

So far I only know the variants of ZFC, building on sets and membership as its primitives, and the variants of ETCS, building on sets and morphisms as its primitives.

What are other first-order systems that have been proposed as foundational?

I'd be happy not only to see the definitions of other systems but also to get a feeling of how they form a home for everyday-use mathematics concretely:

E.g.: How is set theory developed in the system, i.e. how are sets, elements, maps, relations, quotients by relations, families of sets and their products, disjoint union, ..., modelled in the system? How to construct the natural numbers, the rational numbers, the real numbers?

For any proposed system I am also interested in understanding the relation to the "classical" foundation by ZFC.

Thank you!

share|improve this question

1 Answer 1

up vote 2 down vote accepted

The book

Fraenkel, Abraham A. Abstract set theory. Studies in logic and the foundations of mathematics. North-Holland Publishing Co., Amsterdam, 1953

contains a detailed discussion of a number of foundational approaches, by one of the greatest experts in the field. Later editions of the book were shortened by deleting much of the historical discussion, so if your interest is in the varieties of foundational approaches I would recommend the 1953 edition above.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.