Fine let's think of math. Did you learn to add and subtract in first grade via proofs or by counting? This is not only true as an individual this is true as a species. Someone noticed a pattern and only later did someone else write a proof. And then in the late 19th to early 20th century when set theory became a thing, when there was an attempt to justify all of math via itself endlessly problems popped up. Pretty much all math, according to some, depends on consistency of arithmetic which we don't know is true in the formal sense. Maybe one day someone will break that and get 2 = 3 and it won't matter. Because addition will still work.