4 ms·
You don't at all assume a logical framework to be consistent when "using" it, ie. considering the theorems that follow from it and its properties.
by stiff 13y ago
You don't at all assume a logical framework to be consistent when "using" it, ie. considering the theorems that follow from it and its properties.