5.2a) the representation of bignat
Do we have to make sure that bignat has only one unique representation for each natural number? Or can it have several representations of which only the minimal representation has to satisfy all the mentioned criteria? For Instance, if we allow different bignat representations for the same natural number (which imo is a natural way to do), then we could write 5 in binary form as 101, but we could also write it as 00000101. In the latter case the third criterion would not hold.
An answer is highly appreciated