File:Nonminimal model of natural number axioms, except for induction axiom.gif
Appearance
Nonminimal_model_of_natural_number_axioms,_except_for_induction_axiom.gif (256 × 256 pixels, file size: 863 bytes, MIME type: image/gif)
This English Wikipedia-specific image or media file should not be copied to Wikimedia Commons. While the license of this work may be compliant with Commons, its usefulness outside the English Wikipedia is unlikely. It should not be copied to Commons unless cross-wiki use can be demonstrated. Additional: This image serves only as a sketch (used only on page Talk:Mathematical_induction#Explain_relation_between_Peano.27s_induction_axiom_and_exclusion_of_nonstandard_models_in_article); a beauty version of it still has to be produced; the latter then could be moved to Commons, and the former deleted. Jochen Burghardt (talk) 11:16, 1 June 2013 (UTC) |
Summary
[edit]Description |
Sketch of a model of Peanos axioms for natural numbers, except for the induction axiom; demonstrating that the latter is needed to exclude junk elements from a model |
---|---|
Source |
by xpixmap under Linux |
Date |
2013-05-21 |
Author | |
Permission (Reusing this file) |
See below.
|
Licensing
[edit]I, the copyright holder of this work, hereby publish it under the following licenses:
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. |
| This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. |
You may select the license of your choice.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 19:58, 21 May 2013 | 256 × 256 (863 bytes) | Jochen Burghardt (talk | contribs) | Uploading a self-made file using File Upload Wizard |
You cannot overwrite this file.
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):