7장 주석

정리 14의 기술에서, '상수'는 연산 상수를 가리킵니다. 연산에서는 두 개의 상수, 표시 또는 연산자와 공백 또는 허공이 있습니다. 제한 또는 조건 없이 '상수'에 대한 언급은 통상 허공보다는 연산자를 지시하는 것으로 여길 것입니다.