三、内在体系与“类型论”重构