3 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
21342 | A relation is internal if two things possessing the relation could not fail to be related [Moore,GE, by Heil] |
20716 | False prophets will perform wonders to deceive even the elect [Mark] |