3 ms·
A lot of properties that you'd want in a logic stop holding once you hit second-order logic: https://en.wikipedia.org/wiki/Second-order_logic#Metalogical_result
by danharaj 11y ago
A lot of properties that you'd want in a logic stop holding once you hit second-order logic: https://en.wikipedia.org/wiki/Second-order_logic#Metalogical_results https://en.wikipedia.org/wiki/Second-order_logic#Metalogical...