Terminology 51: We shall at all times work within a context of statements, each one called an assumption. The context starts out empty, and we may at any time add a statement \phi to the context by saying we assume \phi .
A theoretical quest.
Terminology 51: We shall at all times work within a context of statements, each one called an assumption. The context starts out empty, and we may at any time add a statement \phi to the context by saying we assume \phi .