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.

Sentence

A formula with no Free Variables is called a sentence.


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

  • Adequacy Theorem
  • First-Order Predicate Logic
  • Independent Sentence
  • Semantic Entailment
  • Theory

Created with Quartz v4.5.2 © 2026

  • Site Source
  • Obsidian Source