407 followers
@GuardedAcumen My point is that you can't make this argument in classical FOL. You need a different, more exotic logic. The reference below is from Rautenberg's A Concise Introduction to Mathematical Logic, Third Edition. I will also link the book below. h