Fun. 5:14 I'd hope it's possible if you drop Infinity. Starting with the hereditarily finite sets, I'm led to ask: What complicated sets can you add beyond them, while preserving a computable membership relation? Maybe to do so you need a theory which is restrictive when it comes to fusing sets together.
Fun.
5:14 I'd hope it's possible if you drop Infinity. Starting with the hereditarily finite sets, I'm led to ask: What complicated sets can you add beyond them, while preserving a computable membership relation? Maybe to do so you need a theory which is restrictive when it comes to fusing sets together.
Answered about at 47:04. :)