Axioms in logic

Transcript

the idea of proving stuff from axioms is one of the oldest ideas in logic so in this video I'm going to go through what axioms are what an axiomatic system is and how we actually go about constructing proofs within an axiomatic system okay and we're going to crack on with that right now so let's start with what is an axiom so that concept of an axi... Read More