&quot;why mathematics don&#x27;t have to do with experience&quot; is too strong. Nothing you just said implies that math isn&#x27;t intimately connected to empirical predictions in some way. What it shows is that contrary to Jules&#x27; earlier statements, there&#x27;s no statement by statement correspondence--for any given mathematical statement, you can&#x27;t find an interesting empirical prediction you associate with it.