See also: List of minerals

... meaning that there is no syntactical calculus for this logic that is both sound and complete. First-order logic and many logics "below" admit a proof ...