#theoretical physics #mathematical logic #physics education #quantum field theory #axioms #proofs #chalkboard physics #foundational physics #quantifiers