Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Independent Sentence

Let be a set of First-Order Predicate Logic axioms.
Let be a Sentence
We say that is independent of if:

Example

Let be the set of axioms of Fields with Characteristic of a ring 0.
Define

Then is independent of because:

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks