成唯识论：契经说，有虚空等诸无为法，略有二种：

一依识变，假施设有。谓曾闻说虚空等名，随分别有虚空等相，数习力故，心等生时，似虚空等无为相现，此所现相，前后相似，无有变易，假说为常。

二依法性，假施设有，谓空无我所显真如，有无俱非，心言路绝，与一切法非一异等，是法真理，故名法性。

离诸障碍，故名虚空；由简择力，灭诸杂染，究竟证会，故名择灭；不由择力，本性清净，或缘阙所显，故名非择灭；苦乐受灭，故名不动；想受不行，名想受灭。此五皆依真如假立，真如亦是假施设名，遮拨为无，故说为有；遮执为有，故说为空。勿谓虚幻，故说为实；理非妄倒，故名真如。不同余宗，离色心等，有实常法，名曰真如。故诸无为，非定实有。

虚空无为者，谓空无我所显真如，有无俱非，心言路绝，是诸法真理，与诸法非一非异，非即非离。即此真理，犹如虚空，离一切障碍，故曰虚空无为。

择灭无为者，择谓简择，灭谓断灭，诸法真理，由以无漏之简择力，断灭诸有漏法，方究竟证会故，名此由择灭所证显本不生灭之真理，曰择灭无为。

非择灭无为者，复有二种，一者一真法界，本来自性清净，不俟无漏慧择灭之功用，名非择灭。二者有为诸法，缘阙不生，不生之灭所显真理，名非择灭。

不动无为者，离第三静虑烦恼，唯有舍受现行，不为苦乐所动，说名不动名此第四静虑中所显真理，曰不动无为。

想受灭无为者，离无色第三地烦恼，想受等心所不行。名生第四有顶地入灭尽定，所显真理，曰想受灭无为。

真如无为者，真简于妄，如简于倒。即诸法真理，非妄非倒，说名真如无为，前五为者，皆依真如假立，真如亦是假施设名，不同余宗，离色心等，有实常法名曰真如。

[ 本帖最后由 寂静梦影 于 2008-6-27 15:47 编辑 ]

虚空择灭非择灭等，何性摄耶？三皆容摄。
心等变似虚空等相，随心生故，依他起摄。
愚夫于中妄执实有，此即遍计所执性摄。
若于真如假施设有虚空等义，圆成实摄。

有漏心等定属依他，无漏心等容二性摄。
众缘生故，摄属依他；无颠倒故，圆成实摄。

此七实性，圆成实摄，根本后得二智境故。

一流转真如，谓有为法流转实性。
二实相真如，谓二无我所显实性。
三唯识真如，谓染净法唯识实性。
四安立真如，谓苦实性。
五邪行真如，谓集实性。
六清净真如，谓灭实性。
七正行真如，谓道实性。

随相摄者，流转苦集三，前二性摄，妄执杂染故。
余四皆是圆成实摄。

菩萨于十地中，修十胜行，断十重障，证十真如
虽真如性实无差别，而随胜德假立十种。
虽初地中已达一切，而能证行犹未圆满，为令圆满，后后建立。

一遍行真如，谓此真如，二空所显，无有一法而不在故。
二最胜真如，谓此真如具无边德，于一切法最为胜故。
三胜流真如，谓此真如所流教法，于余教法极为胜故。
四无摄受真如，谓此真如无所系属，非我执等所依取故。
五类无别真如，谓此真如类无差别，非如眼等类有异故。
六无染净真如，谓此真如本性无染，亦不可说后方净故。
七法无别真如，谓此真如虽多教法，种种安立，而无异故。
八不增减真如，谓此真如离增减执，不随净染有增减故。即此亦名相土自在所依真如，谓若证得此真如已，现相现土俱自在故。
九智自在所依真如，谓若证得此真如已，于无碍解得自在故。
十业自在等所依真如，谓若证得此真如已，普于一切神通作业总持定门，皆自在故。

此依真如离障施设，故体即是清净法界。
虽本来自性清净，而由客障覆令不显。
真圣道生，断彼障故，令其相显。

一本来自性清净涅槃
谓一切法相真如理，虽有客染，而本性净，具无数量微妙功德，无生无灭，湛若虚空，一切有情平等共有，与一切法不一不异，离一切相一切分别，寻思路绝，名言道断，唯真圣者自内所证，其性本寂，故名涅槃。

二有余依涅槃
谓即真如出烦恼障，虽有微苦所依未灭，而障永寂，故名涅槃。

三无余依涅槃
谓即真如出生死苦，烦恼既尽，余依亦灭，众苦永寂，故名涅槃。

四无住处涅槃
谓即真如出所知障，大悲般若常所辅翼，由斯不住生死涅槃，利乐有情穷未来际，用而常寂，故名涅槃。

一切有情，皆有初一。
二乘无学，容有前三。
唯我世尊，可言具四。

或言
凡夫与二乘有学，具初一。
不定性二乘无学，前二。
定性二乘无学，前三。
直往菩萨，第一第四。
具足此四种，得真涅槃者，惟究竟位佛果。

[ 本帖最后由 寂静梦影 于 2008-6-28 10:54 编辑 ]