• ryannathans
    link
    fedilink
    English
    arrow-up
    2
    ·
    edit-2
    9 months ago

    Building axioms from the ground up, with proofs