The inference from 'well-founded sets inherit well-orderability in Choice-models' to 'the restricted principle is consistent' conflates semantic truth-in-a-model with syntactic consistency.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
Semantic truth-in-a-model(logic and philosophy of language)
Whether a statement is true when you actually imagine a specific scenario or world and check what's actually happening there.
Syntactic consistency(logic)
Whether a set of rules or statements follows all the formal grammatical and logical rules, without contradicting the structure of the system itself.
Well-orderability(as a mathematical property)
The ability to arrange all elements of a collection in a sequence where every subset has a smallest element, like organizing items from least to greatest.
consistent(Contrasted with the model-theoretic notion of satisfiability)
A proof-theoretic notion indicating that no contradiction is derivable from a set of sentences
well-founded sets
Sets for which every non-empty subset has a minimal element under membership, i.e., sets that do not contain infinite descending membership chains