도구나 논리가 아닌, 실체가 있는 수학의 세계, 이름의 세계