Infinity package:peano

The infinite number (ω).