Changes

From Nordan Symposia
Jump to navigationJump to search

Truth (view source)

Revision as of 16:58, 12 December 2007

35 bytes removed ,  16:58, 12 December 2007
→‎Truth in mathematics
Line 90: Line 90:  
==Formal theories==
 
==Formal theories==
 
===Truth in mathematics===
 
===Truth in mathematics===
−
{{main|Model theory|Proof theory}}
      
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]]''.
Retrieved from "http://nordan.daynal.org/wiki/Special:MobileDiff/9814"

Navigation menu