Skip to main content
3 of 4
added 28 characters in body
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

Philosophy of mathematics seems to focus primarily on set theory, which is probably a historical accident (just like it is a historical accident that set theory became the prevalent "foundation" in the 20th century). If you want to see things from other perspectives you could read things like:

Perhaps other, more knowledgable readers, can suggest additional references in this direction.

Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239