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.