Title: Elements of logic and formal science