Many of the examples of undecidable first-order theories given above are of this form.
上の節で挙げた決定不能な一階の理論の多くもこのタイプである。