Die formale Logik, ein Teil der Mathematik.