Also ist Elementarsatz ein solcher, der sich in dem Kalkül wie ich es jetzt || heute benütze nicht als Wahrheitsfunktion andrer Sätze darstellt.