論教會的聖潔與基督的同在

根據萊布尼茨法則「同一者不可分性原理」： (x)(y) [x=y → (F)(Fx ↔ Fy)]
即對任意 x 和對任意 y ，如果 x 與 y 等同，那麼對於任意性質 F：如果 x 擁有 F，則 y 擁有 F；如果 y 擁有 F 則 x 擁有 F 。

「你們要常在我裏面，我也常在你們裏面。」（約翰福音 15:4）

已知：
教會與基督是合一的。教會在基督裏面，基督在教會裏面。

那麼：
對於聖潔這一屬性：如果基督是聖的，那麼教會亦是聖的。
對於同在這一屬性：如果教會是在的，那麼基督亦是在的。

結論一
教會的聖潔屬性並非來自於教會本身，乃是來自於基督。聖徒之所以被稱為聖徒，不是因為他們是聖的，乃是因為他在基督裏面，基督也在他裏面。教會因為合一而有份於基督的聖潔。

結論二
基督的同在並非因為來自於基督在天位置的改變，乃是因為教會。基督之所以在聖餐中臨在，不是因為基督從天上下來，乃是因為他在教會裏面，教會也在他裏面。聖禮的功用之一，就是作為一個記號，顯示教會是在的。因此，在聖禮中，基督也是在的，基督因為合一有份於教會的慶典。按改革宗神學對聖禮的解釋，基督乃是以屬靈的方式藉著信心臨在（spiritual presence by faith）。

需要特別說明的是，二者的屬性是關聯性的，不是依賴性的。基督徒使用「同一者不可分性原理」，在超經領域證明自己的真知。即：
教會的聖潔雖不可見，但因我們確知基督是聖的，因此可確知教會是聖的。
基督的同在雖不可見，但因我們確知教會是在的，因此可確知基督是在的。