“Precisamos enfatizar duas coisas. Primeiro, ‘A’ não é uma sentença da LVF, mas um símbolo da
metalinguagem que usamos quando queremos falar sobre qualquer sentença da LVF (veja Capítulo 8).
Segundo, similarmente, ‘ m ’ não é um símbolo que irá aparecer em uma prova. Ele também é um símbolo
da metalinguagem, o qual usamos quando queremos falar sobre qualquer número linha de uma prova. Na
prova apresentada, as linhas estão numeradas por ‘1’, ‘2’, ‘3’, e assim por diante. Mas quando defnimos a
regra, usamos variáveis como ‘ m ’ para destacar o ponto em que a regra pode ser aplicada a qualquer
momento” (p. 246)
TM: Compreendo a necessidade da ênfase, mas parte desse parágrafo se repete ipsi literis na página 248
“Precisamos enfatizar duas coisas. Primeiro, ‘A’ não é uma sentença da LVF, mas um símbolo da metalinguagem que usamos quando queremos falar sobre qualquer sentença da LVF (veja Capítulo 8). Segundo, similarmente, ‘ m ’ não é um símbolo que irá aparecer em uma prova. Ele também é um símbolo da metalinguagem, o qual usamos quando queremos falar sobre qualquer número linha de uma prova. Na prova apresentada, as linhas estão numeradas por ‘1’, ‘2’, ‘3’, e assim por diante. Mas quando defnimos a regra, usamos variáveis como ‘ m ’ para destacar o ponto em que a regra pode ser aplicada a qualquer momento” (p. 246)
TM: Compreendo a necessidade da ênfase, mas parte desse parágrafo se repete ipsi literis na página 248