b'Neue Axiome f\\xfcr die Mathematik? Mit seinem Forschungsprogramm arbeitet Sy-David Friedman an neuen...'