The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
De samlende temaer i matematisk logik inkluderer studiet af udtrykskraften i formelle systemer og den deduktive kraft af formelle systemer for beviser.