On Friday, 1 June 2018 21:59:28 UTC+1, András Kovács wrote:
I like this question. If the syntax is supposed to be the initial model, then it can't be a set.

Why? 

I don't think the initial model is a set. Is it?

Martin