Formal Systems § Group: 5 #group-5 Relations § Undecidability: Undecidability arises in the study of formal systems and their limitations.