Familia de todos los conjuntos isomorfos a un conjunto bien ordenado
2
El argumento puede extenderse fácilmente a otros isomorfos funcionales.
3
El hombre y la máquina se han vuelto isomorfos e indiferentes, ya nada es el otro del otro.
4
Por el teorema de Cantor el concepto de familia de todos los conjuntos isomorfos a un conjunto bien ordenado es contradictorio.
5
Con los isomorfos funcionales, había un modo natural de dar pasos muy pequeños, pero no hay un método natural semejante para los isomorfos conductuales.
6
En efecto, si pudiera expresarse que "Todo elemento se obtiene como suma finita de unos", tendríamos la propiedad de ω-categoricidad (dos modelos numerables serían isomorfos).