（术语）Nirodha-āryasatya，四谛之一。梵曰尼楼陀，译曰灭。灭为灭无之义。以择灭无为（即涅槃）为体。涅槃者，生死因果灭无，故曰灭。此理真实，故曰谛。法界次第中之上曰：“灭以灭无为义，结业既尽，则无生死之累，故名为灭。”法华玄义二曰：“二十五有子果缚断是灭谛。”

　　灭即寂灭。谓声闻之人，既厌生死之苦，谛审涅槃，实为寂灭之乐，故名灭谛。

　　谓此教三乘用观巧故，审实五阴生死等苦，昔本无生，今亦无灭，故名灭谛。

　　谓此教菩萨，谛审六度之行，实能证于涅槃寂灭之理，故名灭谛。（六度者，一布施、二持戒、三忍辱、四精进、五禅定、六智慧也。）

　　谓此教菩萨，谛审生死涅槃，体元不二，实无生死逼迫之苦可断，亦无涅槃之寂灭可乐、可证，故名灭谛。

　　云何灭谛？谓相故、甚深故、世俗故，胜义故、不圆满故、圆满故、无庄严故、有庄严故、有余故、无余故、最胜故、差别故，分别灭谛。

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

p1211

瑜伽六十四卷十页云：云何灭谛？所谓一切烦恼永断。又此永断、由八种相，如前应知。此中爱尽离欲者：此显有余依涅槃界。永灭涅槃者：此显无余依涅槃界。

二解 瑜伽六十六卷二页云：复次此烦恼品粗重永灭，是有余依涅槃增上所立灭谛。又因永断、未来不生；及先世因受用尽已，现在诸行、任运谢灭；是无余依涅槃增上所立灭谛。又六十八卷一页广释。

三解 集论五卷十二页云：云何灭谛？谓相故，甚深故，世俗故，胜义故。不圆满故，圆满故，无庄严故，有庄严故，有余故，无余故，最胜故，差别故，分别谛故。如彼卷十二页至十五页释。