complete theory

consistent theory where every statement is provable or disprovable

ক্যাটাগরি: