It is not the case that A sentence cannot refer to Tr as a predicate of the same language in which it is formed, because Tr belongs to a different (meta) language.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.