There are two main approaches to truth in mathematics. They are the ''[[model theory|model theory of truth]]'' and the ''[[proof theory|proof theory of truth]]''. | There are two main approaches to truth in mathematics. They are the ''[[model theory|model theory of truth]]'' and the ''[[proof theory|proof theory of truth]]''. |