Mathematische Logik von 1847 bis zur Gegenwart