値がクラス内の個体数に等しいデータプロパティ？

Question

クラスのデータプロパティを別のクラスの個体数として定義できます。この数は自動的に計算されます。

Answer 1

私が知る限り、既に利用可能な機能はありません。

アサーションされた公理のために実装することもできますが、確実に動作するとは言えません。オープンな世界の仮定とデフォルトの非ユニークな名前の仮定は、未知の個人が存在するかどうか、または既知の個人のいずれかが互いに同じであるかどうかを言うことは不可能であることを意味する。