Second-order categoricity requires strong set-theoretic assumptions that are themselves contentious ...
This proposition has not been edited since the history system was added.