Partial
Pending bridge verification
v0.1 Projection
ZFC as Object Theory
Mathematics recovery ledger entry: ZFC as Object Theory.
v0.1 public projection. Item-level rationale and verification links may deepen as the Corpus projection matures.
MREC-M4
Recovery requirement
Foundational recovery target
ZFC as Object Theory
Requirement
The kernel should represent ZFC as a formal object-language without adopting ZFC as ambient ontology.
What This Target Requires
- ZFC syntax, formulas, axioms, inference rules, and proof objects.
- Object-level derivability without automatic transfer of intended set-theoretic semantics.
Current Status
This v0.1 item fixes the public burden of proof. Detailed formal, empirical, or bridge verification remains routed through the Verify and Results lanes.
Ledger Classification
IDMREC-M4
DomainMathematics
Recoverypartial
Verificationpending bridge verification
Rolefoundational recovery target
Related Results
No dedicated Result page mapped yet.
Related Corpus, Verify, Publications
CorpusNo direct Corpus item mapped yet
Verifyverify-bridge-verification, verify-meta-verification-frontier
PublicationsNo publication mapped yet
Revision Metadata
Item version0.1.0
Introducedrecovery-ledger-v1
Generated fromcorpus/recovery-requirements
ProjectionCorpus v0.1 public projection
Canonical sourcecorpus/recovery-requirements
Edit policyGenerated projection; update Corpus source, then regenerate