頌：已到究竟者...諸相皆盡故

 如世尊說
 已到究竟者，無怖無疑悔，永拔有箭故，彼住後邊身。
此是最究竟，無上寂靜迹，清淨不死迹，諸相皆盡故。

大毘婆沙論
 1)究竟者，謂事成究竟。
2)已能至彼，名已到者。
3)無怖者，謂善通達緣起法故。善修習空解脫門故。不畏惡趣及生死苦。
4)無疑者，謂非如外道住惡律儀及邪智見，發起種種猶豫言說，疑自所證。
5)無悔者，謂已斷遍知戒禁取故。及已生起究竟智故。無有變悔。
6)有箭者，謂二種有箭。一者愛箭。二者見箭。
7)善修聖道，得斷遍知，棄捨、變吐、永不復轉，故名永拔。
8)最後自體，名後邊身。永斷因緣，不復更受當來生死。是故說彼住後邊身。
9)此是最究竟者，謂事成究竟。對勤勇究竟，超過彼故名最。
10)無上寂靜迹者，三火息故，說名寂靜。智立處故，說名為迹。迹中勝故說名無上。
11)清淨不死迹者，迹如前說。離諸煩惱、隨煩惱故，說名清淨。常住無變，故名不死。
12)諸相皆盡故者，謂涅槃中，煩惱、業、苦眾相寂滅。

解脫與涅槃---大毘婆沙論

大毘婆沙論卷第二十八
1.解釋：云何依離染解脫...是謂依離染解脫
[*引文]云何依離染解脫？答：若離染相應心已勝解、今勝解、當勝解，是謂依離染解脫。
1)此中解脫，是大地所有心所法中，勝解為自性。
1.1)然一切法中有二解脫。一者無為，謂擇滅。二者有為，謂勝解。
1.2)此復二種。一者染污，謂邪勝解。二者不染污，謂正勝解。
1.3)此復二種。一者有漏，謂不淨觀、持息念等相應。二者無漏，謂苦法智忍等相應。
1.4)此復二種。一者有學，謂四向三果七補特伽羅相續中起。二者無學，謂阿羅漢果相續中起。
1.5)此復二種。一者時心解脫，謂前五種性相續中起。二者不時心解脫，謂不動種性相續中起。
1.6)無學解脫，復有二種。一者心解脫，謂離貪故。二者慧解脫，謂離無明故。
2)問：若此解脫，勝解為體。施設論說當云何通？如說：云何離貪故心解脫？謂無貪善根對治貪欲。云何離無明故慧解脫？謂無癡善根對治愚癡。勝解非三善根所攝。云何可說心慧解脫是二善根？
2.1)答：彼文應說：
+云何離貪故心解脫？謂無貪善根相應解脫。
+云何離無明故慧解脫？謂無癡善根相應解脫。
+而不說者，應知彼文是有餘說。
2.2)復次，心、慧解脫實非善根。而善根相應故，以善根名說。
2.3)復次，此中顯示解脫依處。
+謂心解脫，依無貪善根而得生長。以無貪善根對治貪欲，心解脫故。
+慧解脫依無癡善根而得生長。以無癡善根對治愚癡，慧解脫故。
+此於所依，說能依體，故不相違。

大毘婆沙論卷第二十八
2.解釋：云何依解脫涅槃...是謂依解脫涅槃
[*引文]云何依解脫涅槃？答：若貪永斷、瞋永斷、癡永斷，一切煩惱永斷。是謂依解脫涅槃。
1)問：有身見等，隨一法斷皆是涅槃。此中何故說貪永斷乃至一切煩惱永斷？
+答：雖一一法斷皆是涅槃。而此中但說圓滿涅槃。故不應責。
+復次，涅槃之名。唯在無學。學位未滿，不名涅槃。故作是說。
2)問：以何義故名曰涅槃？答：煩惱滅故名為涅槃。
3)復次，三火息故名為涅槃。
4)復次，三相寂故名為涅槃。
5)復次，離臭穢故名為涅槃。
6)復次，離諸趣故名為涅槃。
7)復次，槃名稠林。涅名為出。出蘊稠林故名涅槃。
8)復次，槃名為織。涅名為不。以不織故名為涅槃。
+如有縷者，便有所織。無則不然。
+如是，若有業、煩惱者，便織生死。無學無有業、煩惱，故不織生死，故名涅槃。
9)復次，槃名後有。涅名為無。無後有故，名為涅槃。
10)復次，槃名繫縛。涅名為離。離繫縛故，名為涅槃。
11)復次，槃名一切生死苦難。涅名超度。超度一切生死苦難，故名涅槃。
12)問：厭與離染、解脫、涅槃有何差別？
+答：厭惡違逆名厭。無所希求名離染。心無垢穢名解脫。永捨重擔名涅槃。
+復次，毀呰煩惱名厭。毀呰惡行名離染。於緣離繫名解脫。諸蘊永寂名涅槃。
+復次，訶毀欲界名厭。離色界名離染。脫無色界名解脫。證永寂靜名涅槃。
+復次，厭見所斷名厭。離修所斷名離染。至無學果名解脫。證永寂滅名涅槃。。
+尊者妙音作如是說：厭謂薄地。離染謂離欲地。解脫謂無學地。涅槃謂諸地果。
13)尊者迦多衍尼子隨順經義作是言：
+根律儀、戒律儀、無悔、歡喜、安樂、等持是修行地。
+如實智見是見地。
+厭是薄地。
+離染是離欲地。
+解脫是無學地。
+涅槃是諸地果。
是厭、離染、解脫、涅槃四種差別。