Single Idea 15371

[catalogued under 3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth]

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