Diese Frage ist inspiriert von einer ähnlichen Frage zur angewandten Mathematik in Bezug auf den Mathoverflow, und diese nörgelnden Gedanken, dass wichtige Fragen von TCS wie P vs. NP von ZFC (oder anderen Systemen) unabhängig sein könnten. Als kleiner Hintergrund ist die umgekehrte Mathematik das...