언어는 4 언어와 5 언어가 있다.
5 언어에는 langue 와 parole 이 있는데,
4 언어는 langue 로 이뤄진다.
programing language 가 4 언어고, 자연어가 5 언어다.
메타언어는 4 언어를 가정한다.
수학의 메타언어는 4 언어인데, 그것을 규정할 수 없어서 (혹은 어떤 이유로) 자연어를 쓰고 대산 엄밀성을 강조한다.
수학의 메타언어는 랑그로 이뤄진 4 언어다.
thought 와 ideas 가 있다. 생각하는 것과 생각으로 나온 thing 을 idea 라고 한다.
meta language 는 an idea 다.
concept 도 an idea 다.
수학에서 concept 을 사용하려면 자연어의 concept 을 가져다 쓰는게 아니라, 수학 내에서 정의 해야 한다.
infinite 가 concept 이라고 한다. 그리고 설명을 한다
수학은 infinite 를 define 하고 concept 을 설명하거나,
concept 을 define 하고, infinite 를 설명하는 거다.
하나의 의미가 있다고 가정하고 다른 걸 설명하면 이건 종교다. 수학이 아닌...
p.s)
해체 철학에서 차연이라고 한다.
그게 langue 에서 a word 가 의미를 갖는 구조 원리다.
프랑스가 이 지경이니...