nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqlpv03u4n97y28cz0x69yp746p4ed9er23992cmg85pdx0dgxdcus7g47dl W-types are foundationally extremely weak — they are no stronger than having a natu...
@nprofile1q... Of course, you probably do encounter well-founded things with some frequency in geometry, e.g. Noetherian assumptions, etc.