 In particular, if the problem \(a\) consists in the proof of a proposition, then one must possess a general method either to prove or to reduce to a contradiction any proposition. (Kolmogorov 1932: 63 [Mancosu 1998: 332]).