= 27d567bc2d48d9f40e9ccc20ea370b15)
bryjnar 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)
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.