Can you recommend any resources on how to avoid paradoxes? From what little I know, very innocent seeming combinations of features/axioms result in proofs of fa

Can you recommend any resources on how to avoid paradoxes? From what little I know, very innocent seeming combinations of features/axioms result in proofs of false. That seems to be a very important resource for developing a language, because you can't wait until the end to discover that you shouldn't have had type-in-type or so on.