Neue Axiome für die Mathematik? Mit seinem Forschungsprogramm arbeitet Sy-David Friedman an neuen...