(Originally) involving or based on speculation or theory rather than practical knowledge; (in later use) relating to or involving theorems; relating to deduction, especially of facts which are not direct consequences of existing or assumed knowledge.