TRUTH AND METATHEORY IN FREGE · Study