이 문제 가운데 문장이 해석이 잘 안되는데 내가 못하는 건지 문장이 꼬여 있는 건지 모르겠다.


L에다
모든 문장 기호의 occurence에 대입하는 것과 같은 동일 형식으로, 임의의 문장형을 B 속의 문장 기호들로 대체함으로써, B로부터 유도되는 모든 well-formed formula들을 (공리로서) 더하여 얻어지는
형식이론을 L^+라 하자.

대충 위에처럼 번역해봤는데 한국어로 보니 뭔 소리인지 더 모르겠음. occurence를 어떤 문장 속에 문장 기호가 \'등장하는 위치\' 쯤으로 생각해도 돠는건가? 애초에 문법에 맞게 해석했는지도 모르겠다. 제발 좀 도와주십쇼.