démonstration
proof

NT: Proof (Beweis), 7-8, 20-21, 90, 152, 179, 201, 202-208 (§ 43a), 229, 268-269, 310, 315, 396, 408, et passim. See also Logic (BT)