自下第三约一实谛以明圣行。文别有二。一问答略辩。二问答广辩。略中文殊先问起发。所言实谛其义云何。佛答有七。从真乃至常乐我净。七中初门直指实体。实名真法当相正辩。若法非真不名实谛反以显之。后之六门随义分别。于中三对。初二一对所遣分别。次二一对行教分别。后二一对因果分别。就初对中前离四倒。后出妄想。心想见等是其妄想。实谛无倒正辩其相。无倒名实牒以结之。实谛无妄正辩其相。妄不名实反以显之。第二对中实名大乘约行实分别实。是佛说约教分别。第三对中实名一道就因分别。实名常等就果分别
下广释之。解初门中文殊先问。若以真实为实谛者牒上初门。下对佛等而为请门。若是真法即是如来虚空佛性。若即如来虚空佛性。如是三法便无差别。此如来者是其真实法身如来。如来是果。佛性是因。若论虚空非因非果。彼前实谛据佛以论毕竟清净。于此体上更无生死妄染可得故即如来。就凡论之。犹为生死妄想所覆。与后显时净德为本。故名佛性。就实论实。实则平等。离一切性故曰虚空。良以此三皆即实谛故无差别。下佛答之。述其所问即为答矣。文中有三。一总明如来虚空佛性非苦集等。亦非彼谛而是其实。二所言苦者为无常下别释如来虚空佛性非苦集等。但是其实。三复次真者即如来下别释如来虚空佛性非是彼谛但是其实。初中两番。一就苦等明其浅深三种差别。苦中三者。三苦之八事苦差别直名为苦。即此苦法因缘有无法相不谬说之为谛。不同向前一实之谛所依不空如来藏性名之为实。集中三者。诸业烦恼说之为集。谛实如上。灭中三者。数灭无为直名为灭。谛实如上。道中三者。戒定慧等直名为道。谛实如上。二明如来虚空佛性不同前二。但即其实。如来有二。一报。二法。若论报身即灭即道。今说法身。是故乃至非灭非道。自下第二别释如来虚空佛性。不同苦集灭道四事。但即其实。苦中五句。一辩苦相。所言苦者牒前有苦。下辩其相。苦性非恒故曰无常。苦体虚妄见实则舍故云可断。二是实下就苦显实。苦家实性是一实谛故名为实。不同向前所非之谛。三明如来不同前相。言非苦者不同向前所牒之苦。非无常者不同向前为无常相。非可断者不同向前是可断相。四是故下辩明如来唯即前实。以是如来不同向前苦等相故唯是其实。五以如来类空佛性。集中亦五。一辩集相。所言集者牒前有集。下辩其相。能令阴生正显集义名苦无常。傍论集过。集体生灭。生灭交切故名为苦。集体迁流故曰无常。问曰。无常苦无我等是其苦行。今以何义说之为集。释言。苦等有别有通。别则苦中唯有无我等。更无余义。集中唯有因集有缘。苦上设有因集等义判属集中。集中虽有无常等义判入苦中。通则苦中亦有集义。故彼十二因缘法中苦果生后同名因缘。因缘犹是集之别称。集中亦有无常等义。故此文中说集以为无常与苦。义虽通有。苦中用彼无常苦等以为正义。因集有等以为兼义。故名苦谛。集中用彼因集有等以为正义。苦无常等以之为兼。故名集谛。今就通义故说集谛。为无常苦是可断相彰集体虚。见实则舍故名可断。二是为下就集显实。集家实性是一实谛故名实谛。不同向前所非之谛。三如来下辩明如来不同前相。如来非集不同向前所牒之集。非阴因者不同向前能令阴生。非可断相不同向前是可断相。亦应说言非无常相。文略故无。四是下辩明如来唯即前实。以是如来不同集相故是实谛。五以如来类空佛性。灭中亦五。一明灭相。所言灭者牒前有灭。下类其相。名灭烦恼正显灭义。亦常无常随义分别。先举后释。二乘所得有二种义名曰无常。一终须迁转趣向大乘故曰无常。二二乘之人虽入涅槃。于未来世心想还生。心想生故灭则不恒。故曰无常。亦名证法对心显灭。二是为下就灭显实。灭之实性是一实谛故名实。三明如来不同灭相。不名灭者不同向前所牒灭谛。不名能灭不同向前名灭烦恼。非常无常不同向前亦常无常。不名证知不同向前亦名证法。法身如来古今平等。不同灭谛除障始克。故不名证。四常住下辩明如来唯即前实。体真常住故名实谛。五以如来类空佛性。道中亦五。一辩道相。道者牒前。下辩其相。能断烦恼彰道功能。亦常无常显其体义。二乘之道一向无常。大乘之中有常无常。真道是常。缘治无常。可修法有道是心法可以进习故名可修。二是名下就道辨实。三明如来不同道相。如来非道不同向前所牒之道。如来非能断烦恼者不同向前能断烦恼。非常无常不同向前亦常无常。非可修者不同向前是可修法。四常住下辩明如来唯即前实。以常住故名为实谛。五以如来类空佛性