집합론이나 수리논리 기초가 이산수학인가요?