When the Dutch Mathematical Association announced a prize question in 1927 they gave Heyting an ideal topic on which to compete.
Kapag ang mga Dutch matematiko Association inihayag ng isang premyo katanungan sa 1927 nila ibinigay Heyting ng isang magandang paksa sa kung saan upang makipagkumpetensya.