You can "prove" anything on the verbal level, just be accepting the necessary axioms at the beginning.