Teorie, v ramci ktorych sa nejaka veta logiky javi ako majuca obsah, su vzdy nespravne. Niekto by sa napr. mohol domnievat, ze slova "pravdivy" a "nepravdivy" oznacuju dve vlastnosti medzi inymi vlastnostami, a potom by sa ako pozoruhodnyu fakt javilo to, ze kazda veta ma jednu z tychto vlastnosti. V takom pripade sa to vobec nezda samozrejme, rovnako ako by samozrejme neznela povedzme veta: "vsetky ruze su bud zlte alebo cervene", aj ak by bola pravdiva. Ba ona veta teraz uplne nadobuda charakter prirodovednej vety, a to je neklamnym znamenim toho, ze bola chapana nespravne.