bonoboTP gives a nice high-level description, I give a slightly more ranty description here: https://news.ycombinator.com/item?id=27857728 https://news.ycombina

bonoboTP gives a nice high-level description, I give a slightly more ranty description here: https://news.ycombinator.com/item?id=27857728 https://news.ycombinator.com/item?id=27857728. Basically it seems like no matter what axioms you have, there's a bright line as to whether they accurately describe the natural numbers as we observe them in our universe, as that has physical ramifications. That bright line seems like "whether these axioms are true in our universe" and that seems to lend an objective standard by which we can measure our axioms.