Skip to the content.

Foundations seminar

A seminar on the nature of mathematical objects, logic, Gödel’s theorems.



The seminar will run on a bi-weekly timeslot, on Thursdays at 21:00 AEDT (Melbourne, Australia time).

Past seminars

Season 1 - First Order Logic, Soundness, Completeness, Incompleteness

Season 2 - Ax-Grothendieck and Model Theory