灭以灭无为义。结业既尽，则无生死之患累，故名为灭。灭前苦集，显偏真理。因灭会真，灭非真谛。 - 明·杨卓

　　灭以灭无为义，结业既尽，则无生死之患累，故名为灭。
　　一、若发见思无漏真明，具三十四心（即后文八忍、八智、九无碍、九解脱）断结，则三界九十八使（已见前文）皆灭。以烦恼结使灭故，三界业亦灭，若三界业烦恼灭者，即是灭谛有余涅槃也。
　　二、因灭因果灭，舍此报身时，后世苦果，永不相续，名入无余涅槃，真灭度也。
　　灭理不虚，故名为谛。 - 明·杨卓

　　灭谛下四行者：
　　一、尽行　　谓观涅槃种种苦尽，故名尽行。
　　二、灭行　　谓观涅槃诸烦恼火灭，故名灭行。
　　三、妙行　　谓观涅槃一切中第一，故名妙行。
　　四、出行　　谓观涅槃离世间生死法，故名为出也。 - 明·杨卓