Well, in layman's terms, axioms are a bunch of things that people stubbornly think are right but can't be proved. Theorem is something that can be proved on the basis of axioms. (axiom is unreasonable ...)

Then the inverse theorem is what is pushed back by the theorem, and the inverse proposition is what can be pushed back and re-established with the original proposition. Uh-huh (I don't think I can do it either ...)