 It is appropriate to interpret the notion of “reducing” in such a way, that the proof of the impossibility of solving \(a\) at the same time reduces the solution of any problem whatsoever to that of \(a\). (Heyting 1934: 15; translation mine)