Tarski's truth theorem

From Free net encyclopedia