On 1/17/2026 3:22 AM, Mikko wrote:
On 16/01/2026 19:47, olcott wrote:
The system uses proof-theoretic semantics, where the
meaning of a statement is determined entirely by its
inferential role within a theory. A theory T consists
of a finite set of basic statements together with
everything that can be derived from them using the
inference rules. The statements derivable in this
way are the theorems of T. A statement is true in
T exactly when T proves it.
Usually the expression "is a theorem of T" is used instead of "is true
in T". THe words "true" and "false" are usually reserved for truth in
a particular interpretation.
That is what I changed. That is how Incompleteness arises.
| Sysop: | Amessyroom |
|---|---|
| Location: | Fayetteville, NC |
| Users: | 59 |
| Nodes: | 6 (0 / 6) |
| Uptime: | 19:28:29 |
| Calls: | 810 |
| Calls today: | 1 |
| Files: | 1,287 |
| D/L today: |
10 files (21,017K bytes) |
| Messages: | 194,198 |