Comment

Comment by 082349872349872

see Pierre Bordintello, "La Démonstration" (1984):

> Mathematics entails, and it entails the entailer.

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton