일반화된 프레임-경계 시스템 이론(GBST): 제약 정의 시스템의 구조적 공리화 | Synapse