That lack of a chain of reasoning just doesn’t feel any more significant to me than the fact that a human can also not endlessly regress upwards explaining every bit of knowledge they have or every reason they made a decision. Likewise the computer algebra software can only answer “how did you know that?” so many times in a sequence.