https://news.ycombinator.com/item?id=589004 https://news.ycombinator.com/item?id=589004 https://news.ycombinator.com/item?id=19291578 https://news.ycombinator.

https://news.ycombinator.com/item?id=589004 https://news.ycombinator.com/item?id=589004 https://news.ycombinator.com/item?id=19291578 https://news.ycombinator.com/item?id=19291578 Not sure of a connection between the failure of the high school axiom set / nonfiniteness of axioms and Rubi/rule based integration feasiblility or validity of Schanuel's conjecture.