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

Yes, that's fine. That Tarski's axioms for Euclidean geometry are consistent is independent of that claim—the above is a statement about the "usual" non-euclidean geometries (i.e., Riemannian).


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

Search: