>>30
そんな、単なる便宜上の記法
しかも無いなら無いで困らないものに
公理を付けたがる理由は何?