阿毘曇毘婆沙論

等四行，廣說如上。此有四，前苦比智四，集比

智四，滅比智有十二，如是依無所有處有二

十四金剛喻定。無色界中不應說法智，生色

界中不應說法智，不應說生上地依下地離

欲，除非想非非想處亦不應說生上地觀下

地滅。餘生色界亦如生欲界說，生無色界如

生欲色界說。尊者瞿沙說：金剛喻定有十三。

云何十三？謂諸斷非想非非想處煩惱，無礙

道見道所攝有四、修道所攝有九。

已解脫心得解脫耶？未解脫心得解脫耶？答

曰：已解脫心言得解脫。如是汝語已解脫心

言得解脫，不應說已解脫心言得解脫。所以

者何？若以解脫不得言當解脫；若當解脫不

得言已解脫。問曰：已解脫心，何以言得解脫

耶？答曰：以是事故，先作是說。若以煩惱而

言，名已解脫；若以行世在身而言，名得解脫。

我亦說已解脫言得解脫，亦說已作事言作。

如是說者，復有何過？佛亦說已解脫言得解

脫、已作事言作。欲證此義故引佛經。於汝意

云何？佛經為是善說不耶？如說偈：

「若斷欲無餘，如蓮花在水；

比丘捨此彼，如蛇脫皮去。」

問曰：佛說此偈，為已捨言捨耶？未捨言捨耶？

答曰：佛說已捨言捨。此中說斷欲無餘，言已

捨捨。如此偈中，已捨言捨、已作言作。我亦

如是，已解脫言得解脫而無有過。為證此義

故，復引佛經。如說偈：

「慢盡自定意，善心一切脫；

一靖居無亂，能度死彼岸。」