本当の魔法:数学を使って完全性を検証する