Ist die Mathematik ein System von Definitionen von denen man einige als gegeben annehmen & die anderen dann ableiten kann?