不動点定理の中でも、不動点コンビネータを扱うのが簡単そうだ。
不動点コンビネータを対象とするversionの宇宙。
はたして哲学的に語りうる宇宙となりえるのか。