Title: Mathematics as formal discipline