• smeg
    link
    fedilink
    English
    arrow-up
    1
    ·
    9 hours ago

    But like… what does the proof even entail? I feel if you asked a child (or maybe me) what the proof was they’d say “well the definition of those two numbers, and the definition of plus means that 1+1=2”. What else is there?