I ran across the following:
*"Tarski's undefinability theorem*, stated and proved by Alfred Tarski
<http://en.wikipedia.org/wiki/Alfred_Tarski> in 1936, is an important
limitative result in mathematical logic
<http://en.wikipedia.org/wiki/Mathematical_logic>, the foundations of
and in formal semantics <http://en.wikipedia.org/wiki/Semantics>.
Informally, the theorem states that /arithmetical truth cannot be
defined in arithmetic/."
Where then is it defined?
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at