レーヴェンハイム–スコーレムの定理
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論(真の一階算術の理論)には非可算なモデルがあり、(R, +, ×, 0, 1) の理論(実閉体の理論)には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム–スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。
理論が範疇的 categorical であるとは、同型の違いを除いて唯一のモデルを持つことを意味する。この用語は1904年、オズワルド・ヴェブレンが考案したもので、その後しばらくの間、数学者らは集合論を範疇的な一階の理論で記述することで、数学の堅固な基盤を築けると考えていた。