4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |