You can request a video from me by starting an AbleBees petition:
You can support the channel and help it grow by contributing on my Ko-fi page:
00:00 - Intro
01:57 - Why use axioms?
03:56 - Typical Axioms
06:42 - Axioms vs schemes
08:03 - Axiomatic systems
08:35 - Proofs
09:18 - Different axiomatic systems
10:39 - Example: the identity axiom
15:04 - Working out axiom instances
15:34 - Example: explosion
19:25 - Difficult case: permutation
20:33 - Proof recipes
21:25 - The Deduction Theorem
If there’s a topic you’d like to see covered, leave me a comment below.
Links:
My academic philosophy page:
My book What Truth Is:
Most of my publications are available freely here: Jago
Get in touch on Social media!
Twitter:
#logic
2 views
811
358
2 months ago 00:24:14 1
The Banach–Tarski Paradox
2 months ago 00:17:45 1
Raumfahrt-News: SpaceX Starship Rakete - nach Start ist vor Start! | 1. Rakete landet in Europa
2 months ago 00:08:44 1
Orbital Lasers in Minecraft (Sky Torch)
2 months ago 00:57:58 1
Pendulum at Spitbank Fort
2 months ago 00:10:49 4
Bass Teacher REACTS to RANCID - “Axiom“ | “Maxwell Murder“ on STEROIDS?!
2 months ago 00:21:27 1
The Eleventh House feat Larry Coryell 1975
2 months ago 01:05:02 1
Positive Jazz | Happy Vibes and Positive Energy Uplifting Jazz Playlist
2 months ago 00:17:29 1
Traditional Artist tries sculpting in MINECRAFT
2 months ago 00:03:21 2
Hurma feat. Goblinaxe - Robis [Vocal Neurofunk dnb Single In Manys 8 Languages At Once]
2 months ago 00:00:00 1
ON GO - SpaceX - Falcon 9 - Starlink 10-10 - SLC-40 - Cape Canaveral SFS - Space Affairs Live
2 months ago 00:02:35 1
So Nice (Summer Samba)
3 months ago 00:02:27 7
THE CIRCULATORS - “Troublemaker“ (Official video)
3 months ago 00:00:49 1
Axiom Verge 2 - Announcement Trailer - Nintendo Switch
3 months ago 00:02:50 1
JJ Cale ~ City Girls ~ Grasshopper (HQ Audio)
3 months ago 00:01:11 1
Ax-4 Crew Onboarding
3 months ago 00:04:04 1
INFERNAL WAR ’Into Dead Soil’ - official video
3 months ago 00:01:41 1
DAN DA DAN - Opening | Otonoke by Creepy Nuts
3 months ago 00:01:42 1
Tower of God Season 2 - Ending 2 | Falling Up by Stray Kids
3 months ago 02:50:13 1
PlasmaVersum - Der Film
3 months ago 00:21:13 1
Ax-2: A Step Beyond
3 months ago 00:25:16 26
The Greatest Evil A Game Can Commit
3 months ago 00:05:43 1
PREMIERE: Amir Telem - Machina (Extended Mix) [AXIOM MUSIC]
3 months ago 00:15:39 1
How To use the Axiom Mod to build Structures | Guide & Tutorial