Stav dette: First Order Mathematical Logic