3 ms·

I still don't understand what you mean by the "second order axiom system" that is somehow the domain only of humans...