Без заголовка

под абстрактным языком я имел ввиду не-ньюмановский язык, более абстрактный язык, который, впрочем, может быть написан на смолтоке.