# 1เลือกประเภทคำหรือข้อความที่มีการให้ความหมายหรือคำจำกัดความไว้อย่างชัดเจน เรียกว่าอะไรอนิยามบทนิยามสัจพจน์ทฤษฎีบท
# 2เลือกประเภทข้อความที่ตกลงกันหรือยอมรับว่าเป็นจริงโดยไม่ต้องพิสูจน์ เรียกว่าอะไร อนิยามบทนิยามสัจพจน์ทฤษฎีบท
# 3เลือกประเภทคำหรือข้อความที่มีการตกลงกันว่า ไม่ต้องให้ความหมายหรือคำจำกัดความ เรียกว่าอะไรอนิยามบทนิยามสัจพจน์ทฤษฎีบท
# 4เลือกประเภทข้อความที่ต้องพิสูจน์ โดยอาศัย อนิยาม บทนิยาม สัจพจน์ และวิธีการอย่างมีเหตุผล เรียกว่าอะไรอนิยามบทนิยามสัจพจน์ทฤษฎีบท