the lack of a proof does not necessarily prevent a proposition from being understood. On the contrary, the usual order of events is for the mathematician first to understand something about the abstraction in question and then to use that understanding to conjecture how true propositions about the abstraction might be proved, and then to prove them.
