On 28 Okt., 22:51, SPQR <S...@roman.gov> wrote: > In article > <1aa76e33-08c9-4c3d-9454-f7b342ffd...@h24g2000yqm.googlegroups.com>, > > WM <mueck...@rz.fh-augsburg.de> wrote: > > On 28 Okt., 00:17, SPQR <S...@roman.gov> wrote: > > > > The Pigeonhole Principle is a meaningful result of set theory! > > > It is meaningful. That raises some doubt, whether it stems from set > > theory. In fact Dirichlet died in 1859.
> And anyway, there was plenty of set theory around long before it ever > got formalized, just like there was a plenty of calculus around before > it got formalized, i.e., until delta-epsilonics cleaned it up, and > similarly plenty of topology around before it got formalized, and so on.
