phrase1: principal types
phrase2: important groups
sentence1: Such types are called principal types, and the formulas that axiomatize them are called complete formulas.
sentence2: Such types are called important groups, and the formulas that axiomatize them are called complete formulas.