Bounty offered: A step in the completeness proof of first-order logic math.stackexchange.com/q/3887317?atw=1 #logic
English
Math Stack Exchange
34.9K posts
@StackMath
A Q&A site for people studying math at any level and professionals in related fields