اُستاهنده
همچنین شناخته شده با: توضیح‌دهنده
برابر انگلیک (انگلیسی): Explicatum


تاربرگ‌های پیموده‌شده در این نشست: ماشین خودکار ⟩ استواره یکم نابَوَندَگی گودل ⟩ انتگرال‌گیری ⟩ راستی ⟩ زدایش ∨ ⟩ درست