Alexandre B A Villares 🐍 on Nostr: nprofile1q…4rs4v could we define consecutive natural numbers? Then we could prove 3 ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq0p4hclaqjlup0fwjt5ke3mgxq6rtjth8u62yfv0s62xkxp04wjaqa4rs4v (nprofile…rs4v) could we define consecutive natural numbers? Then we could prove 3 and 4 are consecutive (no natural numbers between them)?