rut: a settled and monotonous routine that is hard to escape
abstraction: a general concept formed by extracting common features from specific examples
reductio ad absurdum: (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction