## Return to Answer

2 typo

I think the more fundamental question to ask is why set theorists insist that the axioms of set theory be strictly first-order in nature (*). I claim that you can't really explain the motivations of set theorists until you address this phenomenon.

In light of this near-universal assumption, I think it is fair to say that:

• First-order logic is the foundation of set theory (which is in turn the foundation of other things)

• The axioms selected for set theory are those which enable as much model theory as possible, without risking inconsistency.

The fact that one can then turn around and use model theory to study set theory itself is a major bonus, but not really a part of the foundations argument. I've heard some quasi-mystical tales about sets existing in some alternate universe out there, but I feel far more comfortable using "it lets me do model theory and hasn't lead led to contradictions" as a justification for the axioms.

(*) Excluding, for example, second-order quantification, the logic $L_{\omega_1,\omega}$ of countable conjunctions, or the "exists uncountably many" quantifier.

1

I think the more fundamental question to ask is why set theorists insist that the axioms of set theory be strictly first-order in nature (*). I claim that you can't really explain the motivations of set theorists until you address this phenomenon.

In light of this near-universal assumption, I think it is fair to say that:

• First-order logic is the foundation of set theory (which is in turn the foundation of other things)

• The axioms selected for set theory are those which enable as much model theory as possible, without risking inconsistency.

The fact that one can then turn around and use model theory to study set theory itself is a major bonus, but not really a part of the foundations argument. I've heard some quasi-mystical tales about sets existing in some alternate universe out there, but I feel far more comfortable using "it lets me do model theory and hasn't lead to contradictions" as a justification for the axioms.

(*) Excluding, for example, second-order quantification, the logic $L_{\omega_1,\omega}$ of countable conjunctions, or the "exists uncountably many" quantifier.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9457479119300842, "perplexity_flag": "middle"}