古德曼定理指出${\mathsf{<trans\; data-src="HA">哈</trans>}}^{\mathrm{<trans\; data-src="\omega ">\omega </trans>}}<trans\; data-src="+">+</trans>\mathsf{<trans\; data-src="AC">自动控制</trans>}<trans\; data-src="+">+</trans>\mathsf{<trans\; data-src="RDC">RDC公司</trans>}$是保守的$\mathsf{<trans\; data-src="HA">哈</trans>}$。同样的结果也适用于扩展情况，即，$\mathsf{<trans\; data-src="E">E类</trans>}\text{<trans data-src="-">-</trans>}{\mathsf{<trans\; data-src="HA">哈</trans>}}^{\mathrm{<trans\; data-src="\omega ">\omega </trans>}}<trans\; data-src="+">+</trans>\mathsf{<trans\; data-src="AC">自动控制</trans>}<trans\; data-src="+">+</trans>\mathsf{<trans\; data-src="RDC">RDC公司</trans>}$也是保守的$\mathsf{<trans\; data-src="HA">哈</trans>}$这是Beeson的功劳。在本文中，我们修改了Goodman可实现性，并提供了扩展情况的新证明。