Philosophy is the calculus of unknowable sets.