「ゲーデルの完全性が意味論・モデル論的で
否定完全性が統語論・証明論的」
という区分がナンセンスなのはわかったんだが、
初学者にトンデモにならないように教える現場の立場では、
２つの完全性の区別を単純化した図式で分かった気にさせて
先に進まないといけないという事情も理解して欲しい。