기초: 논리와 증명