Abstract We introduce and study some variants of a notion canonical set theoretical truth. By this, we mean truth in transitive proper class model M ZFC that is uniquely characterized by $$\in$$ ∈ -formula. show there are interesting statements hold all such models, but do not follow from ZFC, as the ground a...