Forklaringen ovenfor er uformell. Matematisk kan man uttrykke det mer formelt på denne måten: La være en funksjon fra mengden til mengden . Hvis (det vil si at har større kardinalitet enn , eller at har flere elementer enn ) så kan ikke være injektiv.