Beware the fury of a patient man.
The PAC learning framework provides a formal way to quantify the learnability of a concept class.
To do mathematics is to engage in an act of discovery and conjecture, intuition and inspiration.