ToucanIan on Nostr: nprofile1q…fv2av is there no difference between assuming a natural numbers object ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqkfv2av (nprofile…v2av) is there no difference between assuming a natural numbers object and more inductive objects?