12:1112:11, 1 July 2024diffhist+269
Second-order logic
"Axiomatize mathematics using V" may sound misleading, as if V is an axiom system like ZFC and not a model of set theory. This earlier part may explain the comparison →Semanticscurrent
12:1112:11, 1 July 2024diffhist+269
Second-order logic
"Axiomatize mathematics using V" may sound misleading, as if V is an axiom system like ZFC and not a model of set theory. This earlier part may explain the comparison →Semanticscurrent