Stav dette: Basic Concepts of Mathematics and Logic