New answers tagged cardinal-arithmetic
0
votes
Can this theory interpret Peano arithmetic?
Yes we can interpret Peano Arithmetic, but only by restricting to a subclass. As I noted in a comment, there's a model of your axioms where the assertion $\forall n, \neg(n<n)$ fails, so we cannot ...
- 203
Top 50 recent answers are included