'Infinity' can mean a number of different things. A very basic use is in the area of induction, which gives rise to the natural numbers (1,2,3,4,....). Induction is an axiom that basically states, 'given x, you can get x+1'. The natural numbers then use two basic axioms: '1 exists' and...