アッカーマンジオメトリーで検索すると面白いね。