The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
Заедничка тема во математичката логика е изучувањето на експресивната моќ на формалната логика и формалните доказни системи.