On Rolf’s view, why do (e.g.) my opinions on the usefulness of the definitions which imply the Fundamental Theorem of Algebra feel so much like beliefs about the Fundamental Theorem of Algebra?
Because maintaining all these levels of indirection is hard.
Because maintaining all these levels of indirection is hard.