Relative completeness of arithmetical numberings | Synapse