Обоснованность и полнота

Я думаю, что это будет завершено. Допустим, у вас есть программа, которая выдает ошибку DBZ, и мы хотим это проверить. Отправьте эту программу в А1. A1 содержит пространство обеих программ с и без DBZ. Таким образом, он может быть принят А1 или отклонен А1. Если он отклонен A1, то мы можем отклонить программу как ошибку DBZ. Если он не отклонен A1, перейдите к A3, который принимает только программы без ошибок DBZ. Помните, что это для программ, которые не были отклонены A1. Если программа принята А3, то мы знаем, что в ней нет ошибки DBZ. Если и здесь это отклонено, мы знаем, что оно содержит ошибку DBZ.

По существу, использование одного A1 не может полностью определить, будет ли программа принята. Но поскольку A3 содержит только пространство программ, которые могут быть приняты, если оно принято в A1 и в A3, мы можем сделать вывод, что это действительная программа.

Из этого объяснения кажется, что если бы программа была действительной, она была бы принята А3, даже если А1 не признал программу недействительной, поскольку А3 будет принимать только действительные программы, что противоположно тому, что Вы сказали, почему А4 не может быть полным.

Дайте мне знать, если я должен уточнить некоторые моменты в этом ответе.