search

FormalizedFormalLogic / Foundation

Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84 stars 5 forks source link

refactor(Incompleteness): Rename Derivability Condition #120

Closed SnO2WMaN closed 3 months ago

SnO2WMaN commented 3 months ago

Hilbert-Bernaysの導出可能性条件は別にあるため，Hilbert-Bernays-Löbに名前を修正