I meant the whole field of logic; I was keeping it simple. Pi is not "from logic" however broadly you construe it. Unless you endorse logicism, but I think th

I meant the whole field of logic; I was keeping it simple. Pi is not "from logic" however broadly you construe it. Unless you endorse logicism, but I think that's both highly implausible and somewhat incidental.