{0,1} = {开,关} = {兴奋,抑制}   
数理开关-物理开关-生理开关/
数字系统-机电系统-生物系统/
       从可验证数理模型的理论基础明确：单一集合是后续分层集合形式化体系建立的基准参照系。

{0,1}（单一集合）
{00,01,10,11}
{000,001,010,011,100,101,110,111}
... ... ... ... ... ...
（分层集合）
       在可计算数范围以内进一步收敛到不考虑无穷（∞）的情形（只需要考虑不同进制数系之间相互转换即可做出并验证数字计算机可批处理的各种人工智能系统软硬件）
       数字化、形式化、结构化的单一集合及其组合变化的分层集合是软硬件系统构造和建构的基础。

       单一集合与分层集合是可验证的无数实例的形式化理论模型。
        八大形式体系内各种等价系统之间都可通过间接形式化途径服从P进制而相互转换（可视为是广义翻译）。