What is the antecedent of this bracketed that-clause?

You look at some more advanced logic books. Many of them have an introductory chapter summarizing set theory, which turns out to be a prerequisite. You need logic to understand set theory, but it seems you also need set theory to understand logic! These books jump right into proving rather advanced theorems about logic, without offering the faintest clue about where the logic came from [that allows them to prove these theorems].

Norman D. Megill, David A. Wheeler. Metamath: A Computer Language for Mathematical Proofs. Lulu Press, North Carolina, 2019. Available on the Web as http://us.metamath.org/downloads/metamath.pdf.

Is the clause "where the logic came from" the antecedent of the bracketed that-clause above? I'm not even sure if this is grammatically possible. I think the antecedent is "the logic."

• Not quite: the relative clause "that allows them to prove these theorems" is postposed. The antecedent is "logic". Oct 3, 2022 at 7:30