> > I feel that there are systems where when you delete a quantifier, the > variable is replaced by a constant. It seems to me to be the clearest > system for a beginner. >
In some presentations, they call it a "witness" I think. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1bbb5aca-2460-45c3-a888-f45273dc3302%40googlegroups.com.
