Can you prove that? "impossibility to prove" is different from "proven impossible" because hiding behind the loose English are different models of logics. That

Can you prove that? "impossibility to prove" is different from "proven impossible" because hiding behind the loose English are different models of logics. That's what Godel theorems at e about.