• palordrolap@fedia.io
    link
    fedilink
    arrow-up
    6
    ·
    20 hours 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.