= 27d567bc2d48d9f40e9ccc20ea370b15)
MagnetoHydroDynamics comments on Logical Pinpointing - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (338)
Finite subsets of the naturals still behave like naturals.
Not precisely. In many ways, yes, but for example they don't model the axiom of PA that says that every number has a successor.
True, but the axiom of induction holds, and that is the most useful one.