点，则有一个省略 p 的可数模型。举例来说，在特征为零的代数封闭域理论中，取 p 为由一个相对于formula_39的超越元素给出的型，任两个这样的超越元素都在一个基本扩展中同构，所以 p 的定义与选取无关。这是 Stone 空间中唯一的非孤立点。代数数是个省略 p 的可数模型，而任何formula_39的超越扩张都实现 p。其余的型都由某个代数数给出，而且被所有模型实现。