שליחה במסרון: Introductory formal logic of mathematics