> If we can start from an assumption and perform a series of logical deductions and reach True, then we know our original assumption is True, that it is provable
is this a difference between mathematical and natural language?
my understanding is if you deduce something true from an assumption it means nothing.
you need to deduce something false and thus the negation of your assumption is true.
is this a difference between mathematical and natural language?
my understanding is if you deduce something true from an assumption it means nothing.
you need to deduce something false and thus the negation of your assumption is true.