Ableitung (Philosophie)

die Gewinnung von Aussagen aus einer vorgegebenen (z. B. leeren) Menge von Aussagen durch logische Schlussregeln. Wird in einer Menge von Aussagen eine Untermenge der vorgegebenen Aussagen als Axiome fixiert, von denen alle anderen als Theoreme ableitbar sind, so liegt eine axiomatische Ableitung vor. Eine Ableitung ist rein logisch,