Stav dette: Language logic and mathematics/