Mathematical theories are true descriptions of ideas in our heads only if infinitely many distinct i...