eksperyment myślowy dokonywany poprzez działania poznawcze, który polega na uproszczeniu analizy rzeczywistości; eliminacja czynników uważanych za nieistotne i zwrócenie uwagi na te, zdaniem badacza czy obserwatora, decydujące, badanie zjawisk na drodze abstrakcji w ich czystej, niezmąconej postaci.
sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, z których jeden jest założeniem, a drugi - tezą, które łączy relacja implikacji.