成唯識論二卷叁頁雲：且定有法，略有叁種。一、現所知法。如色心等。二、現受用法。如瓶衣等。如是二法，世共知有。不待因成。叁、有作用法。如眼耳等。由彼彼用，證知是有。 - 朱芾煌

　　品類足論六卷四頁雲：非心俱有法雲何？謂意處及非心俱有十一處少分。 - 朱芾煌

　　品類足論六卷六頁雲：非業俱有法雲何？謂思及非業俱有十一處少分：除意處。 - 朱芾煌

　　品類足論六卷七頁雲：非有俱有法雲何？謂除有漏俱生諸無漏法，諸余無漏法。 - 朱芾煌

　　（術語）十八空之一。

　　如共相有法中說。 - 朱芾煌

　　全一卷。西晉竺法護譯于泰始二年至建興元年（266～313）頃。又作四未曾有經、四未有經。收于大正藏第二冊。內容敘說佛陀以轉輪聖王具有四種未曾有法爲喻，轉而比況阿難亦具有四種未曾有法（奇特法），即：(一)于比丘衆中說法，(二)于比丘尼衆中說法，(叁)于優婆塞衆中說法，(四)于優婆夷衆中說法，而令彼等皆歡喜愛樂。又增一阿含經八難品、長阿含卷二遊行經皆有類似之內容。

　　（經名）一卷，西晉竺法護譯。說阿難具四種之未曾有法。又出于增一阿含經八難品。

譯義不明，相當的南傳經文作「根據法來推斷佛陀」，所謂的「法」是指所觀察到的一些事實。 - 莊春江居士編

　　如自相有法中說。 - 朱芾煌

　　因明用語。又稱有法差別相違因（梵dharmi　　-vis/es!a-viruddha　　）。因明叁十叁過中，因（理由）的四相違過之第四項。乃缺乏因叁相中後二相所形成之過失。有法，指宗（命題）之前陳（主詞）；差別，指宗前陳所含之意味；相違，相互矛盾、違反之意。于因明對論中，凡狡黠之論法，于宗之前陳隱含二種意許（存于內心而不表示于言語中之想法），立者（立論者）成立其一，而希望敵者（問難者）不成立；今立者所陳述之因（理由），于宜發生關系之同品不發生關系，反而關系到不應發生關系之異品，如是則缺乏因叁相中之後二相，致令敵者所立之因爲正確無過之因，而對立者自己反形成不利之局勢。［因明入正理論、因明入正理論疏卷中末、因明入正理論疏瑞源記卷四、卷七］（參閱“四相違”1734、“因明”2276）

　　（術語）四相違之第四。有法者，宗之前名辭，差別者，其前名辭裏面所含之別件，相違者，反對之意。凡狡黠之論法，于宗之前名辭，懷抱二種之意許，立者成立其一，希敵者不成立。今立者所陳之因，于宜關系之同品不關系，反關系于不應關系之異品，缺因之後二相，敵者因之卻爲無過之因，是即有法差別相違因也。亦見因明入正理論等。

　　因明入正理論雲：有法差別相違因者：如卽此因，卽于前宗有法差別，作有緣性。亦能成立與此相違作非有緣性。如遮實等，俱決定故。如疏七卷十四頁釋。 - 朱芾煌

一種意義而有不同的文句，參看「味」。 - 莊春江居士編

　　因明用語。又稱有法自相相違因（梵dharmi　　-svaru^pa-viruddha　　）。因明叁十叁過中，因（理由）的四相違過之第叁項。有法，指宗（命題）之前陳（主詞）；自相，指宗前陳所陳述之事件；相違，互相矛盾、違反之意。于因明對論中，立者（立論者）所設之因與自己所立的宗有法所陳述者相沖突，不能使前陳所陳述之因成立，反而成爲打消其成立之理由，敵者（問難者）遂用其因成立反對之宗，此稱爲有法自相相違過。亦即以立者所設之因望其前陳時，缺乏因叁相中後二相之過失。［因明入正理論、因明入正理論疏卷中末、因明入正理論疏瑞源記卷四、卷七］（參閱“四相違”1734、“因明”2276）

　　（術語）四相違之第叁。有法者，宗之前名辭，自相者，于其前名辭發表之事件，相違者，反對之意。即謂立者所設之因，望其宗之前名辭時，缺因之後二相，故不爲成立其前名辭發表之事件之因，而反爲可打消之之理由，遂至敵者即用其因，成立反對之宗者。見因明入正理論等。

　　因明入正理論雲：有法自相相違因者：如說有性非實非德非業。有一實故。有德業故。如同異性。此因如能成遮實等；如是亦能成遮有性。俱決定故。如疏七卷八頁釋。 - 朱芾煌

西晉月支國沙門竺法護譯
　　說阿難同輪王四法，亦出八難品。 - 明·蕅益智旭 撰　顧偉康 編輯