Comment by drdeca
5 hours ago
Within a given inference system, one can define concepts. This doesn’t add any axioms. It is, in essence, just a way to abbreviate things.
5 hours ago
Within a given inference system, one can define concepts. This doesn’t add any axioms. It is, in essence, just a way to abbreviate things.
ok, you now added some unknown inference system in addition to zfc