PhD math guy here. Personally, I don't think this is a great article for a lay person to approach or appreciate. You might be able and interested to follow along with the various constructions of C, but without appreciation for formal logic and category theory it'll seem like distinctions without a difference (and to working mathematicians, they are). The model theory I found quite interesting, but was high effort even for me. And the philosophical points are also rather specific.