Logica matematica e teorie formalizzate. Un quadro generale dei concetti e dei risultati fondamentali