arithmetization
Formalization of Arithmetization of Mathematics/Metamathematics
1-1 of 1 packages depending on FormalizedFormalLogic/arithmetization
Sort by
Package Name
FormalizedFormalLogic/incompletenessuses
3d99d24Formalize Incompleness Theorem Related Results