Theoretical and practical significance of formal reasoning · Study