ไตรลักษณ์
ไตรลักษณ์ เป็นธรรมะที่ทำให้เป็นพระอริยะ (อริยกรธรรม) แปลว่า ลักษณะ 3 ประการ หมายถึงสามัญลักษณะ คือ กฎธรรมดาของสรรพสิ่งทั้งปวง อันได้แก่ อนิจจลักษณะ ลักษณะไม่เที่ยง มีการแปรเปลี่ยนไปเป็นธรรมดา ทุกขลักษณะ ลักษณะทนอยู่ตลอดไปไม่ได้ ถูกบีบคั้นด้วยอำนาจของธรรมชาติทำให้ทุกสิ่งไม่สามารถทนอยู่ในสภาพเดิมได้ตลอดไป และ อนัตตลักษณะ ลักษณะไม่สามารถบังคับบัญชาให้เป็นไปตามต้องการได้ เช่น ไม่สามารถบังคับให้ชีวิตยั่งยืนอยู่ได้ตลอดไป ไม่สามารถบังคับจิตใจให้เป็นไปตามปรารถนา เป็นต้น
สัจพจน์
ในสาขาคณิตตรรกศาสตร์มีการแยกสัจพจน์ออกเป็นสองรูปได้แก่ "สัจพจน์ที่เป็นตรรกะ" และ "สัจพจน์ที่ไม่เป็นตรรกะ" ซึ่งคล้ายคลึงกับการแยก "สัจพจน์" กับ "มูลบท" ในสมัยก่อนตามลำดับ
ในภาษารูปนัยมีสูตรเชิงตรรกะตายตัวที่ถือว่าสมเหตุสมผลโดยสากล (Universally Valid) สูตรนี้จะสอดคล้องกับค่าความจริงทุกค่า โดยปกติแล้วการกำหนดสัจพจน์ที่เป็นตรรกะจะกำหนดให้มีจำนวนน้อยที่สุดที่เพียงพอที่จะพิสูจน์สัจนิรันดร์ในภาษาทั้งหมดได้ ยกเว้นแต่ตรรกะภาคแสดง(predicate logic) จะมีการเพิ่มสัจพจน์มากกว่าที่จำเป็น เพื่อพิสูจน์ค่าความจริงของประโยคที่ไม่เป็นสัจนิรันดร์ภายใต้เงื่อนไขที่รัดกุม
ในตรรกศาสตร์เชิงประพจน์ โดยปกติแล้วจะมีสูตรเชิงตรรกะที่กำหนดให้เป็นสัจพจน์ดังนี้ เมื่อให้ formula_1, formula_2, and formula_3 เป็นสูตรเชิงตรรกะใดๆ ในภาษารูปนัย ภายใต้ตัวดำเนินการทางตรรกศาสตร์เพียงสองอันได้แก่ "formula_4" นิเสธของประพจน์ และ "formula_5" เงื่อนไข (ตรรกศาสตร์) ที่เชื่อมประพจน์จากเหตุไปสู่ผล:แต่ละรูปแบบล้วนเป็น "เค้าร่างสัจพจน์"(Axiom Schema) ซึ่งสามารถผลิตสัจพจน์อื่นได้จำนวนไม่จำกัด ยกตัวอย่างเช่นให้ formula_9, formula_10 formula_11 แทน ตัวแปรเชิงประพจน์ ใดๆ formula_12 และ formula_13 ก็ล้วนแต่เป็นผลมาจากเค้าร่างสัจพจน์ที่ 1 ดังนั้นจึงประโยคทั้งสองจึงเป็นสัจพจน์ไปด้วย