附录甲·形式系统与证明

…無無、無時無有，云何有無共合而名為涅槃？
問曰：若有無共合非涅槃者，今非有非無應是涅槃。
答曰：
「若非有非無，
名之為涅槃；
此非有非無，
以何而分別？」
若涅槃非有非無者，此非有非無因何而分別？是故非有非無是涅槃者，是事不然。復次：
「分別非有無，
如是名涅槃；
若有無成者，…

见逐次改动记录及原典定位记录。

…者智力淺故，觀諸法相少實少不實，觀涅槃無為法不壞故實，觀生死有為法虛偽故不實。非實非不實者，為破實不實，故說非實非不實。
問曰：佛於餘處說離非有非無，此中何以言非有非無是佛所說？
答曰：餘處為破四種貪著故說。而此中於四句無戲論，聞佛說則得道，是故言非實非不實。
問曰：知佛以是四句因緣說，又得諸法實相者以…

见逐次改动记录及原典定位记录。

…常無常二相過故。是故世間亦有邊亦無邊則不然。今當破非有邊非無邊見。
「若亦有無邊，
是二得成者，
非有非無邊，
是則亦應成。」
與有邊相違故有無邊，如長相違有短。與有無相違，則有亦有亦無。與亦有亦無相違故，則有非有非無。若亦有邊亦無邊定成者，應有非有邊非無邊。何以故？因相待…

见逐次改动记录及原典定位记录。

…非有常非無常。此三種十二見。如來滅後有無等四見，依涅槃起。世間有邊無邊等四見，依未來世起。世間常無常等四見，依過去世起。如來滅後有無等不可得，涅槃亦如是。如世間前際後際、有邊無邊、有常無常等不可得，涅槃亦如是。是故說世間、涅槃等無有異。復次：
「一切法空故，
何有邊無…

证据卡已按当前脚注实引的来源、卷次与原段补齐；本项不涉及义理重判。

…世間眼見萬物不出。若有出，應見芽從穀出，如蛇從穴出；而實不爾，是故不出。
問曰：汝雖釋不生不滅義，我欲聞造論者所說。
答曰：
「諸法不自生，
亦不從他生，
不共不無因，
是故知無生。」
不自生者，萬物無有從自體生，必待眾因。復次若從自體生，則一法有二體：一謂生、二謂生者。若離餘因…

证据卡已按当前脚注实引的来源、卷次与原段补齐；本项不涉及义理重判。

…
是人為希有。
內外我我所，
盡滅無有故，
諸受即為滅，
受滅則身滅。
業煩惱滅故，
名之為解脫，
業煩惱非實，
入空戲論滅。
諸佛或說我，
或說於無我，
諸法實相中，
無我無非我。
諸法實相者，
心行言語斷，
無生亦無滅，
寂滅如涅槃。
一切實非實，
亦實亦非實，
非實非非實，
是名諸佛法。
自知不隨他，…

证据卡已按当前脚注实引的来源、卷次与原段补齐；本项不涉及义理重判。

…況涅槃！若言有如來，亦是邪見。何以故？如來寂滅相，而種種分別故。是故寂滅相中，分別有如來亦為非。
「如是性空中，
思惟亦不可，
如來滅度後，
分別於有無。」
諸法實相性空故，不應於如來滅後思惟若有、若無、若有無。如來從本已來畢竟空，何況滅後！
「如來過戲論，
而人生戲論，
戲論破…

证据卡已按当前脚注实引的来源、卷次与原段补齐；本项不涉及义理重判。