それは到達不能基数の存在を仮定しているというだけで、
それをいうなら普通の平面のベクトルの標準形もZ案になる。
私たちの問題意識は集合の演算自体で０除算可能かどうかだ。