「Zornの補題」とか「…の補題」といったら普通は命題になるんだが、
何故か「Zornの補題」の場合は命題でなく公理になるのな。