Back to forall x: Calgary
Proof-theoretic concepts
Reasoning about what the single turnstile guarantees: what follows about provability and consistency once one sentence is known to prove another.
StatusFlagsLoading your progress…
Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.