Tarski's definition
link to formal language
simple definition
remark on natural language
added category