quod erat faciendum

عبارتی لاتین که در پایان اثبات‌های ریاضی یا منطقی به کار می‌رود تا نشان دهد که حکم مورد نظر ثابت شده است؛ معادل فارسی آن «آنچه باید انجام می‌شد» یا «حکم، ثابت شد» است.

• Nachdem er alle Schritte logisch dargelegt hatte, schloss er mit dem Satz: Quod erat faciendum.پس از اینکه تمام مراحل را به طور منطقی شرح داد، با جمله «آنچه باید انجام می‌شد» نتیجه گرفت.
• Der Mathematiker beendete seine Beweisführung mit dem klassischen Ausdruck: Quod erat faciendum.ریاضی‌دان اثبات خود را با عبارت کلاسیک «آنچه باید انجام می‌شد» به پایان رساند.
• Mit diesem letzten Schritt war das Theorem bewiesen, quod erat faciendum.با این مرحله آخر، قضیه اثبات شد، آنچه باید انجام می‌شد.