I firmly believe that mathematics does not exist outside of humans. It is something we, as a species, invent.
Cardinal arithmetic will be quite important for us, so we spend some time on it. Since, however, it tends to be trivial, we shall not need to spend much of this time on proofs.
