On Monday, October 29, 2012 5:27:52 AM UTC+2, Hercules ofZeus wrote:
> > And you see no problem with using a logic composed of predicate > > strings (functions) to construct sets to construct functions to range > > over ALL functions, and calling it 1st order logic - No Quantifying > > over functions here! > > Herc
Oh, dear hollie mollie! You have no pale idea what you're talking about, have you? You don't even know the basic of the basics of the theory you so deeply hate, the hell knows why.