During the seminar, the professor demonstrated how mathematical logic provides tools to analyze the expressive power of formal languages and the deductive strength of proof systems.