¡Las matemáticas no son perfectas! Los teoremas de incompletitud de Gödel

I'm the one building Comprensi. I'd love your help. Tell me what works, what doesn't, and what you'd love to see next.