Larry_D'Anna comments on The Pascal's Wager Fallacy Fallacy - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (121)
"first-order logic cannot, in general, distinguish finite models from infinite models."
Specifically, if a fist order theory had arbitrarily large finite models, then it has an infinite one.