阿毘曇毘婆沙論

諸法作第四句，故言除上爾所事。如須陀洹，

斯陀含亦如是。阿那含成就諸法，彼法阿那

含果攝耶？乃至廣作四句。云何法阿那含成

就，彼法非阿那含果攝？答曰：阿那含前進得

勝妙無漏諸根及所斷結得作證，阿那含所

成就非數滅，廣說如上。阿那含成就諸餘有

漏法，彼是何耶？答曰：有三種，謂善、染污、不隱

沒無記。善者，方便善、生得善、離欲善。染污

者，色無色界繫修道所斷染污。不隱沒無記

者，威儀、工巧、報變化心。如阿那含所成就

者。云何法阿那含果攝，彼法非阿那含成就？

答曰：不得阿那含果，得已便失。不得者，信解

脫不得見到性阿那含果，見到不得信解脫性

阿那含果。得已便失者，信解脫轉根作見到，

失信解脫性阿那含果。云何法阿那含成就，

彼法阿那含果攝？答曰：得阿那含果不失。得

者，信解脫得信解脫性阿那含果，見到得見到

性阿那含果，三界見道所斷結斷欲界修道所

斷九種結斷。不失者，信解脫不轉根作見到，

不失信解脫性阿那含果。云何法非阿那含成

就，彼法亦非阿那含果攝？答曰：除上爾所事。

若法已稱名已說者，作第一第二第三句，未

稱未說者作第四句。彼是何耶？答曰：有三種，

謂善、染污、不隱沒無記。善者，謂無漏、有漏。無

漏者上下無漏道，有漏者方便善、生得善、離

欲善，若本不得，若得便失。染污者，三界見道

所斷染污，欲界修道所斷染污。不隱沒無記

者，威儀、工巧、報變化心，本不得得已便失者。

如是等諸法作第四句，故言除上爾所事。阿