Poincaré and Weyl's approach succeeds because it identifies a genuine logical problem (impredicativi...
This proposition has not been edited since the history system was added.