次闭图类的逻辑极限律

设$\mathcal G$是一个可加、次闭的图类。我们证明，对于从$\mathcal G$中所有具有$n$个顶点的{\em 连通}图均匀随机抽取的随机图，单体二阶逻辑（MSO）中的零一律成立；若从$\mathcal G$中所有具有$n$个顶点的图均匀随机抽取，则MSO中的收敛律成立。我们还证明了这些结果在可嵌入固定曲面的图类上的类似结论，前提是我们将注意力限制在一阶逻辑（FO）上。此外，给定FO语句被满足的极限概率与曲面$S$无关。我们还证明，极限概率集合的闭包总是至少两个不相交区间的有限并，并且对于FO和MSO是相同的。对于森林和平面的图类，我们能够精确确定极限概率集合的闭包。对于平面图，它恰好由108个区间组成，每个区间长度约为$5\cdot 10^{-6}$。最后，我们分析了行为截然不同的非可加图类的例子。例如，对于具有$n$个顶点的随机毛毛虫图，即使在FO中，零一律也不成立。