論理式が加算無限個しかないんだから超越数は加算無限個より多くは発見されないような