As with other formal deductive systems, axiomatic theories of truth can be presented within very weak logical frameworks. These frameworks require very few resources, and in particular, avoid the need for a strong metalanguage and metatheory. 