Let σ be any statement in this language.
فرض کنید σ یک گزاره در این زبان باشد.