No label defined (Q3977029)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 14544
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 14544 |
Statements
25 June 1992
0 references
free arithmetic
0 references
consistency
0 references
completeness
0 references
axiomatisability
0 references
theory FQ
0 references
0.7553690671920776
0 references
0.7481677532196045
0 references
0.7433022856712341
0 references
0.733085036277771
0 references
0.729908287525177
0 references
The rules of the theory \(FQ\) are \(MP\) and \(R1\). The axiom-schemata of \(FQ\) are (A0)-(A11) in the author's earlier paper in Notre Dame J. Formal Logic 25, 224-226 (1984; Zbl 0545.03034), plus (A12) \((t=i\vee t<i)\supset\exists x(x=t)\), (A13) \(t<i\supset(t=0\vee\cdots\vee t=i-1)\), (A14) \(t<i\vee t=i\vee i<t\). The author proves the following: Theorem. There is no consistent, complete, axiomatizable extension of \(FQ\).
0 references
