A note on induction, abstraction, and Dedekind-finiteness (Q435238)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on induction, abstraction, and Dedekind-finiteness |
scientific article |
Statements
A note on induction, abstraction, and Dedekind-finiteness (English)
0 references
11 July 2012
0 references
neologicism
0 references
axiomatization of arithmetic
0 references
induction principle
0 references
Dedekind-finiteness
0 references
