No alcanza con encontrar un que haga
inconsistente.
La definición (corolario B) requiere que eso se cumpla para todo que no pertenezca a
.
La definición para primer orden en lugar de usar PROP usa SENT. A parte de eso, es la misma definición.