@c_cube @ncf The issue is that this kind of “theorem” should not even be true in classical FOL, but is an accident of the fact that old school logicians (1) never conceived the possibility of empty sorts, and (2) do not understand variables.
Classical FOL is good. Teaching Forall=>Exists is malpractice.
=> More informations about this toot | View the thread | More toots from jonmsterling@mathstodon.xyz
=> View c_cube@octodon.social profile | View ncf@types.pl profile
text/geminiThis content has been proxied by September (3851b).