deductive theory

[ریاضیات] تئوری قیاسی