Mathematik, komplexe Logik sowie maschinelle Existenz