Basic Law V maps each concept to a unique extension, creating a bijection that presumes cardinality ...
This proposition has not been edited since the history system was added.