Well they did demonstrate that in a non trivial system of axioms, there will always be true statements that are unprovable. Do they kinda accepted that they will never be able to find everything. https://en.m.wikipedia.org/wiki/Gödel's_incompleteness_theorems