음 수학의 토대가 되는게 zfc이고

zfc의 토대는 1차논리 양화논리인데

이말은 모든 수학적문장은 양화논리로 표현된다는소리임??

논의영역을 자연수라고 했을때

자연수의 절반은 짝수다 요런건 양화문장으로 표현못하지않나