R上の関数ｆが次の条件を満たすとする。
ｆ（ｘ＋ｙ）＝ｆ（ｘ）＋ｆ（ｙ）、ｘ、ｙ∈R

このとき、選択公理を仮定しなければ、ｆは線形であるということはできますか？