Genuine question: how will we know that we have reached the point where “every true statement” is provable? What about unknown unknowns? Is there a “concept” (for a lack of a better word) for these “unknown unknowns” in modern logic? I know neo-Platonism (Plotinus and his friends) was circling around this idea/concept, but truth be told I haven’t read all that much coming from them, plus they may be reguarded by modern logicians/mathematicians as maybe too “mystical”.