Assertion: logic's property | /r/PartOf | the successor of \(x\
Facets:
Source sentences:
text: If a property belongs to 0 and belongs to the successor of \(x\) whenever it belongs to \(x\), then it belongs to every number.