English: : A diagram showing the syntactic divisions within a formal system. Strings of symbols may be broadly divided into nonsense and well-formed formulas. The set of well-formed formulas is divided into theorems and non-theorems.
Date
10 September 2009 (original upload date)
Source
I created this image myself on an image editor. I relinquish all rights to it.
This work has been released into the public domain by its author, Gregbard at English Wikipedia. This applies worldwide. In some countries this may not be legally possible; if so: Gregbard grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.Public domainPublic domainfalsefalse
The original description page was here. All following user names refer to en.wikipedia.
2009-09-13 01:13 Gregbard 284×239× (10990 bytes) Removed title which was confusing. A formal language is identical to its set of wffs. I created this image on an image editor myself. I relinquish all rights --GB.
2009-09-10 02:50 Gregbard 300×286× (12911 bytes) I created this image myself on an image editor. I relinquish all rights to it.
Captions
Add a one-line explanation of what this file represents
Items portrayed in this file
depicts
copyright status
copyrighted, dedicated to the public domain by copyright holder
copyright license
released into the public domain by the copyright holder
inception
10 September 2009
File history
Click on a date/time to view the file as it appeared at that time.