Home › Forums › setting the stage › the ab initio way (digging deeper) – 1 › Simple Formal system example This topic has 0 replies, 1 voice, and was last updated 1 week, 4 days ago by EASIN ARAFATH. Viewing 1 post (of 1 total) Author Posts October 1, 2025 at 2:58 am #13289 EASIN ARAFATHParticipant Symbols: +, -, /, *, a , b, c, d, = Statements: a +b=c, b+ c=d, c+ ==d===a Meaningful :a +b=c, b+ c=d True: a+ b=c, False: b+ c=d Meaningless: c+==d===a Axiom: a+ c!= b Author Posts Viewing 1 post (of 1 total) You must be logged in to reply to this topic. Log In Username: Password: Keep me signed in Log In
.
.