"tarski" - key terms from Wikipedia