http://dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/notes/lsg.html
Weak second-order logic allows quantification over finite subsets of \(M\) and over natural numbers. Barwise, Handbook of Mathematical Logic , p. 7. The relation of semantic consequence for formulas, Some formulas \(\Gamma\) semantically entail \(A\) just in case every interpretation that makes all of \(\Gamma\) true makes \(A\) true. 4.2.4.