A logikát már átvette a matematika