Äquipollente Systeme bezeichnen Systeme von Aussagen, so dass aus den Aussagen des einen Systems, unter Umständen mit Hilfe von Theoremen vorangehender Theorien, die Aussagen des anderen Systems abgeleitet werden können.
