เมนูนำทาง ดังนั้น คำอธิบายเชิงรูปนัย ดูเพิ่ม คำอธิบายเชิงอัญรูป คุณสมบัติก่อนประสบการณ์ของผลพวงเชิงตรรกะ อ้างอิง การพิสูจน์และตัวแบบ