Also, not all statements need/can be absolutely proved through logical statements. Even process of creating proofs for novel ideas requires intuition (stepping outside the existing system for higher level patterns)