佛教词典【灭应作证】 p1213
大毗婆沙论七十九卷六页云：如契经说：苦灭圣谛、应以慧作证。阿毗达磨说：得作证者：谓诸善法。问：若诸善法、皆应作证；如对法说：何故世尊唯作是说，灭应作证？答：灭是解脱，离系为相。故佛唯说灭应作证。复次灭无处所，亦无所依。故佛唯说灭应作证。复次灭虽是因；而无有果。灭虽是果；而无有因。故佛唯说灭应作证。复次灭虽是因，而无有因。灭虽是果；而无有果。故佛唯说灭应作证。复次灭是能作，非有能作；是缘，非有缘；是离，非有离。故佛唯说灭应作证。复次灭令蕴无，而不变法。故佛唯说灭应作证。复次灭能息三堕四遮五。故佛唯说灭应作证。复次灭是一味广大道果，能净四姓及诸名言，名无上法。故佛唯说灭应作证。复次灭、唯无漏，得、通二种。灭、唯非学非无学，得、通三种。灭、一谛摄，得、三谛摄。灭、唯不系，得、通三种。灭、唯不断，得、通二种。故佛唯说灭应作证。复次灭、是善亦是常，是善亦离世，是善亦离蕴，是善无三品，是善无前后。故佛唯说灭应作证。复次灭、是沙门果，非沙门。是婆罗门果，非婆罗门。是梵行果，非梵行。是道果，非道。故佛唯说灭应作证。复次为证灭故，证有为善。故佛唯说灭应作证。由如是等种种因缘，故佛唯说灭应作证。
