Assertion: atomic predicate | /r/HasProperty | the successor function
Facets:
Source sentences:
text: \displaystyle \phi (x_{0},\dots ,x_{r-1})} , or equivalently by an existential monadic second order formula, where the only atomic predicate is the successor function y + 1 = z {\displaystyle y+1=z} :26.