수학 논리학에서 대수 문장은 자유 변수를 가진 항 사이의 방정식만을 사용하여 나타낼 수 있는 문장이다.불평등과 정량자는 구체적으로 허용되지 않는다.보초적 논리학은 대수적 문장만을 포함하는 1차적 논리학의 부분집합이다.
문장이 대수학이라고 말하는 것은 초보라고 말하는 것보다 더 강한 조건이다.
이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.
