[GUR-dul],
Gottlob Frege [FRAY-guh] wrote that attributing this property to a statement does not add value to   the statement, which is a deflationary approach to this. Alfred Tarski believed sentences could be  judged for this quality and set out criteria for doing so. Like Kurt Gödel [GUR-dul], Tarski also wrote   that some sentences with this property could not be proved. This quality is sometimes considered  equivalent to the number one in Boolean algebra, and this is sometimes confused with validity. Name  this concept that in some approaches is used to describe statements that match reality, in contrast to  falsehood.
Gottlob Frege [FRAY-guh] wrote that attributing this property to a statement does not add value to   the statement, which is a deflationary approach to this.
truth [or true]