lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

Pi_2-Sound is Sigma_1-Sound

Open SnO2WMaN opened this issue 6 months ago • 1 comments

算術的完全性においてPi_2 Soundnessを仮定しているが，これをSigma_1 Soundnessに直す（より一般的に示すことが可能？）

SnO2WMaN avatar Apr 09 '25 17:04 SnO2WMaN