أرسل هذا في رسالة قصيرة: Learning algorithms versus automatability of Frege systems