Newbetuts

What is the difference between "Peano arithmetic," "second-order arithmetic," and "second-order Peano arithmetic?"

Axioms of arithmetic and isomorphism

Founding mathematics from a set of axioms.

How is first-order logic a strong enough logic for the foundations of mathematics?

Is there any example of a non-measurable set whose proof of existence doesn't appeal to the Axiom of choice?

Why did we settle for ZFC?

Is it consistent with $\sf ZF-Fnd$ that no class whose union is the whole universe can be well-ordered?

Tao Real analysis: question on function definition (should it be an axiom?)

Is the proper class of all ordinals equivalent to the potential infinity of pre-Cantor times?

Is there a Second-Order Axiomatization of ZF(C) which is categorical?

Who first proved that the second-order theory of real numbers is categorical?

What is the dependency hierarchy in foundational mathematics?

Is it circular to define the Von Neumann universe using "sets"?

Category theory from the first order logic point of view

What does "Mathematics of Computation" mean?

Does a Cycle Based Alternative to Set Theory Exist?

New posts in foundations

Is there a (foundational) type theory with the features I'm looking for?

What are the advantages of proof-relevant mathematics?

Really confused about the relationship between set theory, functions, ZFC, Peano axioms, etc.

Is there an Elementary Theory of the Category of Groups?

What is the difference between "Peano arithmetic," "second-order arithmetic," and "second-order Peano arithmetic?"

Axioms of arithmetic and isomorphism

Founding mathematics from a set of axioms.

How is first-order logic a strong enough logic for the foundations of mathematics?

Is there any example of a non-measurable set whose proof of existence doesn't appeal to the Axiom of choice?

Why did we settle for ZFC?

Is it consistent with $\sf ZF-Fnd$ that no class whose union is the whole universe can be well-ordered?

Tao Real analysis: question on function definition (should it be an axiom?)

Is the proper class of all ordinals equivalent to the potential infinity of pre-Cantor times?

Is there a Second-Order Axiomatization of ZF(C) which is categorical?

Who first proved that the second-order theory of real numbers is categorical?

What is the dependency hierarchy in foundational mathematics?

Is it circular to define the Von Neumann universe using "sets"?

Category theory from the first order logic point of view

What does "Mathematics of Computation" mean?

Does a Cycle Based Alternative to Set Theory Exist?