Abstract
Tarski's metamathematical notion of truth, and Hilbert's metamathematical
notion of proof, will, against the background of the metalogical shift
that
they that served to inaugurate, be contrasted with Frege's corresponding
contentual notions of ("omnipresent") truth and proof as Begründung.