Quite likely:
"A proof that algebraic topology can never have a non self-contradictory set of Abelian groups".
is rubbish; but shouldn't we start from the term , " set of Abelian groups". ?
(I have recently got up to here in my attempt to understand modern mathematics
so as a beginner please...