言語の拡張による理論の保守拡大のことを考えれば
φとかωとかと同様に、一意に定義可能だったら
それは存在すると思って良いんじゃないのかな