5
votes
2answers
79 views

What is gained by internalizing LST (the language of set theory)?

I'm reading up on Gödels constructible universe L in the book "Constructibility" by Devlin, and by comparing his text with texts like Kunen and Jech, there is one thing in particular that he's doing ...
10
votes
4answers
449 views

Clarification of a remark of J. Steel on the independence of Goldbach from ZFC

On page 424 of the following paper: S. Feferman, Harvey M. Friedman, P. Maddy and John R. Steel, ``Does Mathematics Need New Axioms?'' The Bulletin of Symbolic Logic, Vol. 6, No. 4 (Dec., 2000), pp. ...
1
vote
1answer
79 views

A Simpler Characterization of Inductive Definitions?

While reading appendix A of John Harrison's "Handbook of Practical Logic and Automated Reasoning" a somewhat advanced theorem is appealed to as a prerequisite for characterizing when an inductive ...
2
votes
2answers
234 views

Is there a way of defining the notion of a variable mathematically?

I know that the notion of "set" is one that cannot be defined mathematically since it is the fundamental data type that is used to define everything else (and the definition which says that "sets" are ...
29
votes
5answers
1k views

Why is it considered unlikely that there could be a contradiction in ZF/ZFC?

EDIT: No answer addresses the "bottleneck" question. It's not surprising to me because the question is vague. But I would like to know whether that is indeed the reason, or perhaps something else. ...