절대적 무한은 논리를 초월한 개념 아니냐?

절대적 무한을 증명할 수 있는 공리가 아직 없다며.

증명할 수 없는 공리가 '아직' 없다는 말은 논리적으로 증명할 수 없다는 뜻과 같지 않냐?

만약 먼 미래에 연속체 가설이나 절대적 무한이나 증명할 수 있는 더 큰 공리 체계가 나올 것이기 때문에 스펙으로 칠 수 있다고 주장한다면, 전지전능은 왜 스펙으로 칠 수 없냐?

전지전능이 논리적으로 모순임은 누구나 아는 사실이고, 나아가 논리를 초월한 대표적인 개념의 예시야 말로 어쩌면 모순을 가능하게 하는 전지전능이라고 생각함.

전술했듯 나중에 더 큰 공리를 만들어서 그것을 증명할 수 있을 거라고 주장하며 스펙으로 친다면 왜 전지전능은 스펙으로 칠 수 없음?