More recently, mathematical logic has often included the study of new pure mathematics, such as set theory, recursion theory and pure model theory, which is not directly related to metamathematics.
Under senare tid har matematisk logik ofta inbegripit studiet av ren matematik, såsom mängdteori, rekursionsteori och ren modellteori, som inte är direkt relaterade till metamatematik.