GEB, стр. 51
Значение в формальной системе должно быть пассивным.
В языке: выучив слово, мы создаём новые предложения.
В формальной системе: теоремы предопределены правилами.
Нельзя добавить новые теоремы только потому, что "по смыслу должно быть так".
🌀 ––p––p––p––r–––––––– НЕ теорема, хотя 2+2+2+2=8.