Stav dette: Introductory formal logic of mathematics