6 ms·
fol logic is sound and complete (and effective). second order logic is not.
by jonnycomputer 9y ago
fol logic is sound and complete (and effective). second order logic is not.
- mcguire 9y agoFor reference: https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th...