← Back to context

Comment by dapperdrake

1 day ago

No assumption holds for all environments.

Posh example: Axiom of choice.

There are definitely some assumptions that hold for all environments. For instance, "all resources are finite".