> > > 2) If you have a constructive logic, you will have to express ideas like: > I have a proof > in this state and in all subsequent states but not in that one? How do you > do that. >
I mean that you will have to express that the values of your individual variables change. (I think there will be something like that. I think so but I'm not sure: you have to go deeper.) -- 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/772b0794-d8e6-49a1-a2b2-660b3274f343%40googlegroups.com.
