¿ZFC tiene una intención de interpretación?

Question

Sé que el PA tiene una intención de interpretación, a saber,$\mathbb{N}$, y la habitual de los axiomas de la línea real tiene una intención de interpretación, a saber,$\mathbb{R}$. ¿ZFC tiene una intención de interpretación?

Answer 1

Sí, así es. La intención de la interpretación de ZFC es la clase de todos los hereditaria bien fundada conjuntos. Esta clase es a menudo llamado el de von Neumann universo.