^^Insiemi fondamento della matematica.

Teoria assiomatica degli insiemi come fondamento della matematica.

If one agrees that set theory is an appealing foundation of mathematics, then all mathematical objects must be defined as sets of some sort.

Hence

  1. if the ordered pair is not taken as primitive,
  2. if numbers are not taken as primitive,
  3. if the function is not taken as primitive,
  4. ...

 

ordered_pair-as-sets

numbers-as-sets

functions-as-sets

 

Links wp

  1. Penelope Maddy, ‘Set-theoretic foundations’