Assertion: set | /r/HasProperty | the axiom of infinity
Facets:
value: namely
type: OTHER
Source sentences:
text: Even using free logic (which does not logically imply that something exists), there is already an axiom implying the existence of at least one set, namely the axiom of infinity.