>>473
では、「高度で複雑なシステムを完全自動化できる」とそちらは証明できるので?