Wikimedia Commons has media related to Formalism (deductive).