Martin's axiom MA( ℵ 1 {\displaystyle \aleph _{1}} ) implies that all Aronszajn trees are special.
マーティンの公理MA( ℵ 1 {\displaystyle \aleph _{1}} )からは全てのアロンシャイン木が特殊であることが導かれる。