算術的番号の相対的完全性 | Synapse