방정식 이론 및 논리의 구간의 기수 | Synapse