Deriving infinity as a theorem by embedding its content into stratification constraints smuggles infinitary commitments into the logical syntax rather than genuinely avoiding them.
?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.
Special rules in NF that limit which objects can be combined into sets by requiring them to fit into strict organizational layers or ranks.
Theorem
A theorem is a statement that has been proven to be true through logical reasoning and evidence. It's a fact that mathematicians or scientists have carefully verified using step-by-step arguments, starting from things already known to be true. Once proven, theorems become reliable building blocks that others can use to prove even more complex ideas.
embedding(A stronger form of homomorphism between many-sorted structures.)
A homomorphism between structures in which all defining functions are injective and the relation-preservation condition holds in both directions.