Ultimately, any proof is based on assumptions that the decision of whether to accept or reject the proof cannot be logically reasoned.