string of a language를 엄밀히 정의하기 위해
기하학의 개념인 선분(segment)와 점(point)의 개념을
논리학에 도입해봅시다.
기하학에서 점과 선분은 primitive notion인 것과
마찬가지로 symbolic segment 와
symbolic point(symbol) 역시 primitive notion 입니다.

예를들면 symbolic segment 는 asdf같은 기호의 배열을
나타냅니다.
(그럼 배열이라고 부르지 왜 굳이 symbolic
segment라 부르냐고 하신다면 기호와 기호의 배열이
점과 선분의 관계와 같으며 배열의 정의를 내릴 수 없기
때문입니다.)
그리고 각 기호 a,s,d,f는 symbolic point가 됩니다.
이제 이 개념을 이용해 string of a language를 정의해
봅시다.

every symbolic point which lies on a symbolic segment are elements of a language L
if and only if the symbolic segment is a string of
the language L.

lie on 이라는 단어 역시 점이 선분위에 있는 상태를
표현하기 위한 primitive notion 이고 여기서도
그런의미로 사용된 것입니다.
(즉,어떤 한 symbolic point가 symbolic segment의
구성요소이다.)

다음번엔 formal string 에 대해 설명해보겠습니다.