User blog comment:Vel!/Happy Pi Day/@comment-99.185.0.100-20150726161030/@comment-2033667-20150727025655

By using the Axiom Schema of Computation, you can correlate pi to an infinite recursive cardinal.