 | This is the user sandbox of Math site tester by nick. A user sandbox is a subpage of the user's user page. It serves as a testing spot and page development space for the user and is not an encyclopedia article. Create or edit your own sandbox here. Other sandboxes: Main sandbox | Template sandbox Finished writing a draft article? Are you ready to request review of it by an experienced editor for possible inclusion in Wikipedia? Submit your draft for review! |
Gödel's incompleteness theorems are two theorems about what you can/can't prove inside a mathematical system.
TODO: add analogy and [[laconic|laconic]]