FOM: Challenge axioms

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Fri Jan 30 15:50:15 EST 1998


Please clarify axiom 2:

2.  (f,g,h)(there exist A,B,C) [ (f:A-->B and g:B-->C) iff  
        (for some h)M(g,f;h)]

You have two quantifiers binding h; which seems wrong.

Neil Tennant



More information about the FOM mailing list