article · International journal of innovation and applied studies
By applying the formal arithmetic model, the mathematic and logic theories have created the self-references and have chosen a specific model for accomplish the logic-mathematics proves. A formal arithmetic (ROBINSON et PEANO) constitute in this fact the basic hypothesis for the two incompleteness theorems.
This page summarises published work. The authoritative version sits with the publisher.
Is something wrong with this record? Report it or request removal.
Discussion
Have you built on this work, tried to replicate it, or seen it applied in practice? Share what you know. Verified researchers and MARATTO™ domain experts can open a discussion, and any member can reply. Contributions are reviewed before they appear.
No discussion yet. Open the first thread.
New to MARATTO™? Create a free account.
