ویمند [=تعریف]

یک گویایی را ساختارانه بوندگ [=تمام] می‌گویند اگر هر رزن پذیرفتنی [=قاعده قابل قبول] یک رزن واخنش‌پذیر [=قابل استنتاج] باشد.