 It is not only the Löwenheim-Skolem theorem but also other metamathematical theorems can be given a paraconsistent treatment. In the case of other theorems, however, the negative results that are often shown by the limitative theorems of metamathematics may no longer hold. One important such theorem is Gödel’s theorem.