There’s stuff like that in Ch. 2 of Lindstrom’s Aspects of Incompleteness, apparently elementary within the area.
There’s stuff like that in Ch. 2 of Lindstrom’s Aspects of Incompleteness, apparently elementary within the area.