acωは選択公理やよりも弱い主張である。