El domingo, 12 de septiembre de 2021 a las 12:55:35 UTC+2, Antonio Speltzu escribió:
> Is every recursive relation definable in free language with equality, generated by the suc(successor) relation?
What relations are definable in the free language with equality, generated by the suc(successor) relation?