File:BS-12-Begriffsschrift_Quantifier1-svg.svg loading ...