We should replace the various cardinality related properties with "cardinality", which is a cardinal-valued function. We can treat weight, density, etc. similarly after that. We'll need to appropriately expand the query language to handle queries for non-exact comparisons.
This should actually be tractable in Haskell ... as a first pass we can limit to naturals, alephs or beths, with just the relationships required by ZFC. This does bring up the question of what to do about other models, but that will have to be addressed in a different issue.
We should replace the various cardinality related properties with "cardinality", which is a cardinal-valued function. We can treat weight, density, etc. similarly after that. We'll need to appropriately expand the query language to handle queries for non-exact comparisons.
This should actually be tractable in Haskell ... as a first pass we can limit to naturals, alephs or beths, with just the relationships required by ZFC. This does bring up the question of what to do about other models, but that will have to be addressed in a different issue.