Results Registry Noteworthy Result Canonical metaphysics Diagonal-free + NF-addressable force NF-address structure compatible with self-description, entailing axioms K0-K4.
Results · Additional Noteworthy Results · Metaphysics Related existing surface Medium confidence

OR3+OR4 Narrowing

Diagonal-free + NF-addressable force NF-address structure compatible with self-description, entailing axioms K0-K4.

VII.L32 Metaphysics Book VII conjectural formalized

What this page is

This is a public Results-lane surface for a noteworthy Metaphysics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.

Registry evidence

  • Registry item: VII.L32
  • Type: lemma
  • Scope: conjectural
  • Lean status: formalized
  • Book / part / chapter: Book VII · Part 2 · Chapter 29

Result summary

Diagonal-free + NF-addressable force NF-address structure compatible with self-description, entailing axioms K0-K4.

Reading role

Use as Registry evidence for an existing Results surface.

Claim boundary

This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.

Curation rationale

  • metaphysics-facing terms: self
  • result-facing terms: structure
  • technical/internal terms: lemma
  • candidate is better handled as evidence for an inferred existing public surface

Review notes

  • No additional review notes recorded.

Inspection Links

Registry item VII.L32 Corpus Registry Inspect the atomic Registry projection. Verify Review semantic adequacy, bridge assumptions, and external challenge routes. Additional Noteworthy Results Return to the Registry-backed result surface.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert