Any logic L1 is derived from a finite number of axioms. Any discovery not consequence of these will require another logic L2. Going from L1 to L2 is only logical in a Meta logic, LM. In any case L2 and LM are NOT rational in L1. That means irrationality is what feeds rationality!