>>2

ココにいる人は数理論理学中級くらいは理解しているが多い模様で、
無知=全知は形式論理学的な立場からの発言です。

全知ならば、自然数論をしっているはずで、不完全性定理により、
不完全であるか、矛盾しているかのどちらかで、さらにその体系は無矛盾であることを証明できません。

そういった意味で、全知であるのにかかわらず、限界が存在するわけです。

詳しくは、
ゲーデル 不完全性定理 (岩波文庫) 文庫 – 2006/9/15
ゲーデル (著), 林 晋 (解説, 翻訳)