Первый закон робототехники Азимова как пример применения теоремы Геделя в праве. Чтобы избежать неполноты и противоречий, необходимо допустить, чтобы робот мог совершать противоправные действия.