One way to formally introduce counting principles is through countable sets, the cardinality of these sets, operations among sets, mappings between these sets and formal power series. We follow a high-level approach (also adopted in most introductory textbooks in Discrete Mathematics) as long it is well understood how we can technically formalize the arguments. Working from basic principles and...