阿毘達磨大毘婆沙論

果。彼得或是道是道果。或非道非道果。非擇

滅非道非道果。彼得亦非道非道果。無常滅

或是道非道果。或是道亦道果。或非道非道

果。彼得亦爾。復次擇滅滅諦攝。彼得三諦攝

除滅諦。非擇滅非諦攝。彼得二諦攝謂苦

集。無常滅三諦攝除滅諦。彼得亦爾。應作

如是廣辨差別。而不爾者前已說故。謂擇

滅是離繫。非擇滅無常滅非離繫。俱非離繫

須辨差別。有說。二滅俱不用功得。須辨

差別。擇滅用功得與二有異故不須說。

問已知擇滅離繫為體。應說何故名擇滅

耶答擇者謂慧。滅是彼果。擇所得滅故名

擇滅。復次一向劬勞。一向加行。一向功用

簡擇諸法方得此滅。故名擇滅。復次數數

決擇苦等得滅。故名擇滅。謂苦忍苦智決

擇苦諦。於見苦所斷法得滅。集忍集智決

擇集諦。於見集所斷法得滅。滅忍滅智決

擇滅諦。於見滅所斷法得滅。道忍道智決

擇道諦。於見道所斷法得滅。以苦等智數

數決擇苦聖諦等。於修所斷法得滅。故名

擇滅。問擇滅自性為是一物為多物耶。有

說。一物。問若爾證見所斷法擇滅時。亦證

修所斷法擇滅不。若亦證者修後對治應成

無用。若不證者云何一物少分證少分不

證。有說。二物。一見所斷法擇滅。二修所斷

法擇滅。問若爾證見苦所斷法擇滅時。亦

證見集滅道所斷。法擇滅不。若亦證者修後

對治應成無用。若不證者云何一物少分證

少分不證。有說。五物謂見所斷法擇滅有