>>137
そうなの?
('08)では完全性定理やってたぞ