A method that is guaranteed to find proofs to theorems, should one exist of a "reasonable" size, would essentially end this struggle.
O metodă care ar găsi în mod garantat demonstrația unor teoreme, dacă există una de dimensiune „rezonabilă”, ar pune în esență capăt acestei lupte.