Embed Notice

@JorgeStolfi @dymaxion @whknott

At the base of every axiomatic system are terms that cannot be defined using the system itself. Terms that require consensus and should be recognized as such. And these are always worth re-examining and removing, changing to see what other systems we may develop.

It is still a human endeavor, based on language. And I think that's a feature not a bug.