• schuelermine@leminal.space
    link
    fedilink
    English
    arrow-up
    0
    ·
    12 days ago

    Yes, Church numerals are something more specific. Church numerals are a model of Peano arithmetic, I think. So basically all Chuch is Peano but not all Peano is Church.