3 ms·This approach can only describe formal systems that are finite combinations of such provers.by lmkg 10y agoThis approach can only describe formal systems that are finite combinations of such provers.