私は”完全性定理”と言ったんですけどw

ぶっちゃけ不完全性定理は応用例があんまりないんですよね
完全性定理の方が使いやすいです