> There is no consensus as to what is the true and correct philosophy of mathematics. This is part of the problem. I start reading; I see something "obviously

> There is no consensus as to what is the true and correct philosophy of mathematics. This is part of the problem. I start reading; I see something "obviously false" which is endorsed by lots of people; I see something "obviously true" which is endorsed by lots of people but is contradictory to the obviously-false thing; I see a case which contradicts both of those and isn't obviously true or obviously false; and I give the whole thing up as non-rigorous and/or tedious. But I'll look out Shapiro and see if it helps.