System Logik Math. Korrolar Korrolarium aus einem bewiesenen Satz folgender Satz Geol. geologisches System geologische Formation Phys. Chem. Biol. System