Martin Escardo on Nostr: Exactly. If you want m^n to count the number of functions from a set of cardinality n ...

Exactly. If you want m^n to count the number of functions from a set of cardinality n to a set of cardinality m, then there is no other option but to have 0^0=1.