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.