I was thinking of this comment. If by "knowledge" he means "a piece of memory in reality," then by definition there is no abstract knowledge, and no abstract proofs, because he limited himself to concrete knowledge.

That knowledge can describe concepts that we don't think of as concrete- the Pythogorean Theorem doesn't have a physical manifestation somewhere- but my knowledge of it does have a physical manifestation.