Representing (finite) sets of natural numbers with binary strings and developing the theory just as far as I need