Heyting moved away from these big problems, concentrating on trying to identify formal, intuitive, and logical concepts in the study of mathematics.
Heyting inilipat ang layo mula sa mga malaking problema, concentrating sa pagsisikap na makilala ng pormal, intuitive, at tama ang konsepto sa pag-aaral ng matematika.