By Hilbert's thesis, the steps of A can be stated in a first-order language, so the premises and con...