Sentence 1: A systematic study of category theory then allows us to prove mathematical results about any of these types of general structures from the axioms of a category .
Sentence 2: A systematic study of category theory then allows us to prove mathematical results about all these types of general structures from the axioms of a category .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?