Q.E.D. je zkratka latinského spojení quod erat demonstrandum (česky což bylo dokázati či což mělo být dokázáno, zkratkou c. b. d.[1]). Původ této zkratky je však v řeckém ὅπερ ἔδει δεῖξαι (hoper edei deixai), jehož překladem latinský termín vznikl. Používá se jako označení ukončení matematického důkazu. Toto řecké označení používalo víc raných řeckých matematiků, včetně Eukleida[2] a Archiméda.
V současné matematice se dá použít znak (lze také užít ), nazývaný prostě „čtvereček“ nebo Halmosův symbol na počest Paula Halmose, který jeho používání zavedl.