Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
VENN DIAGRAM of FORMAL SYSTEM TYPES
Replies:
1
Last Post:
Feb 11, 2013 12:21 PM




VENN DIAGRAM of FORMAL SYSTEM TYPES
Posted:
Feb 9, 2013 9:09 PM


STRINGS   abc^*z qed    /WFF\  /  / PARADOXES X=~X  / FALSE FORMULA ~X=X  /     /THEOREMS\   /    BT(S(0),0)       \    / THEOREMS     STARTING     WITH NOT         ~(BT(0,X)    \/      \   \/  \  \  \  \/   
WFF C STRINGS THEOREMCS C WFF THEOREMS starting with NOT(....) C THEOREMS

A SET type can also be useful in programming to instantiate "russell" into X in X~eX

Godel's Proof does not use this model.
Can anyone figure out why?
Herc  www.BLoCKPROLOG.com



