Enojezični primeri (nepregledani od uredništva PONS)
poljščina
Polega ono na systematyzacji twierdzeń za pomocą relacji wynikania (konsekwencji): z założeń wyjściowych wyprowadza się dedukcyjnie (czyli na mocy praw logiki) twierdzenia pochodne, które z tych pierwszych wynikają.