module module

`IndisputableMonolith.Foundation.GodelDissolution`

show as: view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

depends on (3)

Lean names referenced from this declaration's body.

IndisputableMonolith.Cost module_import
IndisputableMonolith.Foundation.LawOfExistence module_import
IndisputableMonolith.Foundation.OntologyPredicates module_import

declarations in this module (20)

def Stabilizes L56
def Diverges L59
structure SelfRefQuery L73
theorem self_ref_query_impossible L86
theorem self_ref_not_configuration L103
def RSStab L113
def RSDiverge L116
def RSOutside L119
structure GeneralSelfRefQuery L124
theorem general_self_ref_impossible L139
theorem self_ref_not_rs_true L168
theorem stab_decidable L180
theorem diverge_impossible L185
theorem config_classification L193
structure GodelDissolutionTheorem L212
theorem godel_dissolution_holds L223
structure GodelRequirements L241
structure RSDoesNotSatisfyGodel L249
def rs_avoids_godel L258
theorem complete_godel_dissolution L282