Philosophy Now Forum

For a formalist mathematical system where truth is analytical (truth is based on their logical form), would you say that X being consistent means X is true (i.e. truth = consistency)? Or would consistency be a necessary/sufficient condition of truth (i.e. everything that's true must be consistent, b...