Da verdade estrutural à expressão formal