阿毘曇毘婆沙論

昧，亦修無願耶？亦依此二修而作論。如說：若

修身念處，亦修受念處耶？亦依此二修而作

論。如說：若修無常想，亦觀無常想耶？此中或

有說是得修者，或有說是行修者。如說：云

何可修法？一切善有為法。此中雖有四種修

義，亦依得修、行修而作論。是故得作四句。有

法是得修行修非對治修除去修，有法是對

治修除去修非得修行修，有法是得修行修

亦是對治修除去修，有法非得修行修亦非

對治修除去修。是得修行修非對治修除去

修者，無漏有為法是也。是對治修除去修非

得修行修者，染污法、不隱沒無記有為法是

也。是得修行修亦是對治修除去修者，善

有漏法是也。非得修行修亦非對治修除去

修者，無為法是也。問曰：修是何義？答曰：勳

義是修義、學習義是修義、明淨義是修義。現

前修以行名說，未來修以得名說。現在以現

在前故名修，未來以當生故名修。復次現在

有所作故名修，未來與欲故名修。復次現在

在身中故名修，未來以得故名修。

若道過去，彼道已修已猗耶？答曰：若道過去

已修已猗修者，謂二種修：得修、行修。已猗

者，已過去故。頗道已修已猗，彼道不過去耶？

答曰：有未來道，已修已猗起不淨觀現在前，

未來有無量剎那修。從第二剎那以後，盡名

已修已猗道，謂得修。以在未來故不名過去。

乃至起初盡智現在前，未來有無量盡智剎

那修。從第二剎那修已後，盡名已修已猗道，

謂得修。若道未來，彼道非已修非已猗耶？答