An axiomatic formation that is not a variety.

From MaRDI portal
Publication:3552306