Site uses cookies to provide basic functionality.

OK
The function of logic in mathematics is critical rather than constructive.