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