なお、これらの各分野で用いている定理は等価ではなく、クナスター・タルスキーの定理というのは、表示的意味論で用いている定理よりもずっと強い定理である。
这些结果并不是等价的定理，克拉斯特尔－塔斯基定理是个比那用于指称语义的更强的结果。