En particular, crea el escenario para que exista un rico sistema de lógica de orden superior dentro de C; lo hace aportando algunas cosas llamadas 'valores de verdad'. La lógica de orden superior se m...En particular, crea el escenario para que exista un rico sistema de lógica de orden superior dentro de C; lo hace aportando algunas cosas llamadas 'valores de verdad'. La lógica de orden superior se manifiesta en su plena gloria cuando C tiene límites finitos y es cartesiano cerrado, porque estos hechos dan lugar a las operaciones lógicas sobre los valores de la verdad.4 En particular, la lógica de orden superior existe en cualquier topos.
