论。甚深者。谓彼诸行究竟寂灭。如是寂灭望彼诸行不可说异不异。亦异亦不异非异非不异。所以者何。若彼诸行究竟寂灭如是寂灭与彼诸行可说异者。应与诸行不相系属条然异体。若不异者应是染相。由此道理。非俱非不俱。何以故。无戏论故。于此义中。若生戏论。非正思议。非道非如。亦非善巧方便思故。如世尊说此六触处尽离欲灭寂静沒等。若谓有异无异亦有异亦无异非有异非无异者。于无戏论便生戏论。乃至有六处。可有诸戏论。六处既灭。绝诸戏论。即是涅槃。若于如是绝诸戏论寂灭涅槃不正思议。是名戏论。于应异思议。乃异思议故。云何应异思议。谓上妙离等种种思议。

      述曰。甚深中。勘六十八等。执异耶。增执过。不异耶。分别自相过。互俱句。杂乱过。俱非。损减过。于中文有二。初出体。后如是下解释中分三。初总显非四句。次所以者何下释。后如世尊说引证。

      第二释中。初释师解。后本论解。

      论。世俗者。谓以世间道摧伏种子所得灭。是故世尊别名说为彼分涅槃。胜义者。谓以圣慧永拔种子所得灭。不圆满者。谓诸有学或预流果慑或一来果摄或不还果摄等所有灭。圆满者。谓诸无学阿罗汉果摄。等所有灭。无庄严者。谓慧解脱阿罗汉所有灭。无三明等最胜功德所庄严故。有庄严者。谓俱分解脱三明六通阿罗汉等所有灭。有无量种最胜功德所庄严故。有余者。谓有余依灭。无余者。谓无余依灭。最胜者谓佛菩萨无住涅槃摄所有灭。以常安住一切有情利乐事故。差别者。谓无余永断。永出永吐。尽离欲灭寂静没等。

      述曰。差别中有二。初举经。后别释。

      论。何故名无余永断。由余句故。谓无余永断是标句。余是释句是故说言由余句故。由后别句释此总故。缠及随眠皆悉永断。故名无余永断。

      述曰。别释中有二。初释标句后释别句。

      论。何故名永出。永出诸缠故。此依断诸缠说谓已生者皆远离故。何故名永吐。永吐随眠故。此依断随眠说。谓除根本永不生故。如是诸灭由见修道对治别故建立二种尽及离欲故。次问言何故名尽。见道对治得离系故。烦恼聚中余少分故亦名为尽。何故名离欲。修道对治得离系故。由彼修道离诸地欲渐次所显故名离欲。由有如是俱离系故当来苦灭故。次问言何故名灭。当來彼果苦不生故。能成未来苦不生法故名为灭。又于现法忧恼寂静故。次问言何故名寂静。于现法中彼果心苦永不行故。何故名沒。余所有事永灭沒故。宿业烦恼所感诸蕴自然灭尽故名为沒。由如是等别句释前无余永灭总句。

      述曰。别句中分三。初七依所灭辨名差别。

      论。何故此灭复名无为离三相故。生灭住异三有为相究竟相违故名无为。何故此灭复名难见。超过肉眼天眼境故。唯圣慧眼所行境界故名难见。何故此灭复名不转。永离诸趣差别转故。离那落迦等往来流转恒常安住故名不转。何故此灭名不卑屈离三爱故。永离欲色无色三爱于诸有中无所卑屈故名不卑屈。何故此灭复名甘露。离蕴魔故。永离一切死所依蕴故名甘露。何故此灭复名无漏。永离一切烦恼魔故。何故此灭复名舍宅。无罪喜乐所依事故。解脱喜乐所依止故名舍宅。何故此灭复名洲渚。三界隔绝故。于生死大海挺出高原故譬洲渚。何故此灭复名弘济。能遮一切大苦灾横故。证得此灭。生老病等诸苦灾横永远离故。何故此灭复名归依。无有虚妄意乐加行所依处故。由于彼灭所发意乐及正加行无虚妄性所依处故。所依止义是归依义。何故此灭名胜归趣。能为归趣一切最胜圣性所依处故。由此寂灭能为归趣最胜圣性所依止处。是阿罗汉证得加行所缘境故。何故此灭复名不死。永离生故。诸无生者必不死故。何故此灭名无热恼。永离一切烦恼热故。永离一切求不得苦大热恼故。何故此灭名无炽然。永离一切愁叹忧苦诸恼乱故。一切愁等炽然永息极清凉故名无炽然。何故此灭复名安隐。离怖畏住所依处故。无老病死等一切怖畏圣住所依故名安隐。何故此灭复名清凉。诸利益事所依处故。一切清凉善法所依故名清凉。何故此灭复名乐事。第一义乐事故。出世间乐所依事故名乐事。何故此灭名趣吉祥。为证得彼易修加行所依处故。为证涅槃易修加行所缘境故。何故此灭复名无病。永离一切障碍病故。离烦恼等诸障碍病故名无病。何故此灭复名不动。永离一切散动故。离诸境界戏论散动故名不动。何故此灭复名涅槃。无相寂灭大安乐住所依处故。永离一切色等诸想究竟寂灭大安乐住所缘境故名为涅槃。

      述曰。次二十一名。释自通名。

      论。复次。依灭谛辩无生等名义差别。与苦谛相义相违故。苦谛相者于彼彼处有情类中相续而生。为翻彼相是故问言何故此灭复名无生。离相续生故。苦谛相者续生已后自身众分渐次圆满。为翻彼相是故问言何故此灭复名无起。永离此后渐生起故。苦谛相者宿业烦恼势力所造。为翻彼相是故问言何故此灭复名无造。永离前际诸业烦恼势力所引故。又现在苦是能造作余有异熟诸业烦恼所依止处。为翻彼相是故问言何故此灭复名无作。不作现在诸业烦恼所依处故。又苦相者后有异熟相续生起无有间断。为翻彼相是故问言何故此灭复名不生。永离未来相续生故。

      述曰。后五。对苦谛辨名八十三下广解别名。

      论。复次。灭谛有四种相。谓灭相。静相。妙相。离相。何故名灭相。烦恼离系故。谓流转因烦恼离系故名灭。何故名静相。苦离系故。行苦所摄不寂静相取蕴离系故名静。何故名妙相。乐净事故。诸烦恼苦究竟离系自然乐净以为自体故名妙。何故名离相。常利益事故。不复退还最极安隐。如其次第名常利益安隐利益最胜善性。是灭谛相。

      述曰。五十五解四行。由灭集谛四爱故。缘起下同此第三唯乐浄。第四唯常。初二离系即义。此灭苦集亦所显故。彼唯依灭苦。无余所依。瑜伽此中问答常无常如论。瑜伽云。问。诸行寂灭是灭谛耶。设是灭谛诸行寂灭耶。答。若是灭谛亦诸行寂灭。有诸行寂灭非灭谛。谓由无常灭故非择灭故诸行寂灭。问。若此灭谛先无后有云何是常。若常时有何不一切有情于一切时般涅槃耶。答。不流转相。不现行相。是灭谛相。此谛云何。先无后有。又无生相无灭相是常相。灭谛亦尔。是故名常。若有证得一切粗重永息灭者彼般涅槃。若未证得者彼不般涅槃。有灭谛故诸有情类有证得者。是故般涅槃是证所显非生所显。

      论。云何道谛。谓由此道故。知苦断集证灭修道是略说道谛相。今于此中依四圣谛。以其作用显道体相。

      述曰。明道谛中有三。初问。次答。后释四行。答中有二初略行相作用显之。后依位显体。