• palordrolap@fedia.io
    link
    fedilink
    arrow-up
    8
    arrow-down
    1
    ·
    18 days ago

    That blank box is a proof if and only if it is a proof. That makes it a self-reference and has no truth value.