Match the following:

List-I	List-II
a. Axiomatic system	1. Completeness
b. Universal quantifier	2. Quantification
c. Inference rule	3. Nine
d. Replacement rule	4. Ten

A. Synthetic Logic B. Statement Logic C. Analytical Logic D. Ethical Logic

A. The value of formulas B. The construction of formulas C. The term of formulas D. The concept of formulas

A. 1, 2 and 3 B. 2, 3 and 4 C. 1, 3 and 4 D. All of these

A. Classical inductive logic B. Classical deductive logic C. Classical ethics D. Western ethics