Kurt Gödel had something to say about this. He proved that no formal system that is consistent is capable of proving (i.e., providing a sufficient reason for)

Kurt Gödel had something to say about this. He proved that no formal system that is consistent is capable of proving (i.e., providing a sufficient reason for) all statements made within the system, including whether the formal system is consistent: https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_th... No matter how we choose to model the world, there will always be statements in our models for which we won't be able to find or discover a sufficient reason.