Bonito este argumento de Alf Dolich transcrito por Hamkins donde se explica cómo cualquier modelo de la aritmética de Peano de tamaño menor o igual al continuo puede ser inyectado en los complejos. Luce como un problema más que razonable para cerrar un primer curso de lógica con algún énfasis en teoría de modelos. Las preguntas de Baez en los comentarios también tienen su encanto: iluminan las dificultades de comunicación entre dos áreas que con frecuencia comparten los parques donde juegan.

Por cierto, siempre es un placer leer las respuestas de Hamkins en mathoverflow.