>>52
>四値論理はゲーデルの不完全性定理を超えることができるそうです
じゃあSQL言語は不完全性定理を克服しているということになるな。