Q.E.D.
使用頻度の落ちる少し異なった意味を持つラテン語の言い回しとして、「これがなすべきことだった」という意味の "Quod erat faciendum" がある。これは普通 Q.E.F. と略される。Q.E.F. はギリシャの数学者によって用いられた ὅπερ ἔδει ποιῆσαι (hoper edei poiēsai) から来ている。ユークリッドはこの言葉を例示的な構成などの結語として用いていた。Q.E.D. と Q.E.F. の違いは完全な証明と作図題の違いによる。 Q.E.D. は様々な言語に訳されている。特に、西欧の数学における主要言語であったフランス語やドイツ語ではそれぞれ C.Q.F.D. ("ce qu'il fallait démontrer") および w. z. b. w. ("was zu beweisen war") となっている。英語や日本語における定訳は存在しないが、多くの場合証明の最後は "this completes the proof" 、「これで証明が完成する」などの簡潔な文が添えられることが多い。
LaTeX などのソフトウェアを用いてコンピュータによる組版で数学の証明が書かれるようになってから何種類かの記号が Q.E.D. の代わりに用いられるようになった。代表的なものは墓石(tombstone)あるいはハルモス記号(この用法を提案したポール・ハルモスにちなむ)とも呼ばれる黒い四角 ◼ {\displaystyle \blacksquare } であるが、白い四角 ◻ {\displaystyle \square } が推奨されることもある。Unicode は「証明終わり」の記号を明示的に U+220E (end of proof ∎) に割り当てているが、 U+25AE (black vertical rectangle ▮) や U+2023 (triangular bullet ‣) も代替として割り当てている。