(1) The most fundamental is the principle that says "counting makes sense": in set theory language, given two finite sets A and B (this is true also for infinite sets), if there is a bijective function between them, them they have the same number of elements. This principle is fundamental in...