Full Idea
The challenge is to find the arithmetically strongest axiomatical truth theory that is both natural and truth-theoretically sound.
Gist of Idea
An axiomatic theory needs to be of maximal strength, while being natural and sound
Source
Leon Horsten (The Tarskian Turn [2011], 07.7)
Book Reference
Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.101