%I#11 2023年12月30日17:36:24

%S 0,0,0,174162424419513522655173336865285950235182667175398，

%电话：360287487188352727878697474797979797949497973865449302231454853009287213496，

%电话：2475880078568912926825399800405648192073032684416269478401329227995784915869870199216532048487

%N个带有N个顶点的标记简单图的数目与选择公理的严格版本相矛盾。

%C选择公理说，给定任意一组非空集Y，可以从每个非空集中选择一个包含元素的集。严格版本要求该集合具有与Y相同的基数，这意味着没有元素被多次选择。

%在相关的情况下，这些只是具有多个循环的图。

%H Andrew Howroyd，n表，n=0..50的a（n）</a>

%F a（n）=A006125（n）-A133686（n）.-_Andrew Howroyd_，2023年12月30日

%e a（4）=7图的非同构表示：

%e{{1,2}、{1,3}、}1,4}、2,3}和{2,4}}

%电子{{1,2}，{1,3}，}1,4}，2,3}、2,4}、3,4}

%t表[Length[Select[Subsets[Subsets[Range[n]，{2}]]，Select[Tuples[#]，UnsameQ@@#&]=={}&]]，{n，0,5}]

%Y补码是A133686，连接A129271，覆盖A367869。

%Y连接的案例是A140638（具有多个循环的图形）。

%Y包装箱为A367868。

%Y对于机顶盒系统，我们有A367903，等级为A367907。

%Y A001187统计连接图，A001349未标记。

%Y A006125统计图形，A000088未标记。

%Y A006129统计覆盖图，A002494未标记。

%Y A058891统计集合系统，未标记A000612，无单例A016031。

%Y A059201计数涵盖T_0集合系统，未标记A319637，排名A326947。

%Y A143543按连接组件的数量统计简单标记图。

%Y参见A057500、A116508、A326754、A355739、A355740、A367769、A367770、A367 863、A367901、A36790 2、A367 904。

%K nonn公司

%0、5

%A _Gus Wiseman_，2023年12月7日

%E 2023年12月30日，Andrew Howroyd_的第a（7）条及以后条款