Two of the most highly abstract areas of modern mathematics are category theory and model theory.
Dua wilayah paling abstrak dari matematika modern adalah teori kategori dan teori model.