Combining Texts
Ideas for
'Axiomatic Theories of Truth (2005 ver)', 'On the Concept of Number' and 'Principles of Theoretical Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
6. Mathematics / C. Sources of Mathematics / 7. Formalism
22293
|
Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter]
|