• Cethin@lemmy.zip
    link
    fedilink
    English
    arrow-up
    1
    ·
    4 months ago

    Well, at that level I think it’s more to show you know how to prove it. You’re working under the assumption the axioms of the system you’ve been told work.