I'm associate prof. in the National Technical University of Ukraine, giving lectures on Discrete Mathematics (including mathematical logic) since 1996. I'm sure I can help you, but formal proof based on what axioms and what 'prove rules' are allowed.