There Shouldn't Be Real Numbers in the Afterlife

This is a short-story about a studious professor that picked a queer interest in speculative Dedekind Metaphysics, and who enjoyed taking random walks in his free time for hours, discussing strange ideas with fictitious friends just so he can develop his ideas well and try-out various analyses of his theories before writing them down or delivering them in lectures. This time though, he engages one of his real comrades over a call, and they talk through something he's working on concerning reality in the life after death.