Oh no: the axioms come much much later. The order is exactly the reverse one. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pfortuny on April 17, 2020 \| parent \| context \| favorite \| on: Roger Penrose – Is Mathematics Invented or Discove... Oh no: the axioms come much much later. The order is exactly the reverse one.

danck on April 17, 2020 [–]

Well, I have to agree. From a practical perspective.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact